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. Du
|Collections||ANU Research Publications|
|01_Bimbo_Investigation_into_Combinatory_2000.pdf||292.98 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.