1 research outputs found
Investigation into Combinatory Systems with Dual Combinators
Combinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (β, β), led to the introduction of dual combinators in Dunn & Meyer 1997. D