| 1. | Lambda Calculus | | | Introduction to the lambda calculus for computer scientists. Shows how the calculus can be formalised in Scheme.
www.mactech.com |
| 2. | Dual Identity Combinators | | | 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 logic.
www.bu.edu |
| 3. | Lambda | | | An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions.
www.csse.monash.edu.au |
| | |