92 followers
Clones, closed categories, and combinatory logic: We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We def... https://t.co/TgqSEZCWTx
Clones, closed categories, and combinatory logic: We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We def... https://t.co/TgqSEZCWTx