This is an old revision of the document!
lambda -> λ
as discovered/formulated by Alonzo Church
intro/tutorials/exercises
- A practical introduction to lambda reduction > http://ling.ucsd.edu/~barker/Lambda/
- lambda_calculus.1181653012.txt.gz
- Last modified: 2007-10-24 15:36
- (external edit)