This is an old revision of the document!
Table of Contents
lambda -> λ
as discovered/formulated by Alonzo Church
intro/tutorials/exercises
- A practical introduction to lambda reduction > http://ling.ucsd.edu/~barker/Lambda/
.. .and computation
- “the 210 bit binary lambda calculus self-interpreter, and on the right the 272 bit binary combinatory logic self-interpreter” > http://homepages.cwi.nl/~tromp/cl/cl.html