3 links
Dual Identity Combinators
bu.edu
Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the formulae-as-types sense, to combinatory log…
Perl Contains the Lambda-Calculus
perl.plover.com
Explains why this computer program is well suited to apply to functional application.