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/
This is an old revision of the document!
as discovered/formulated by Alonzo Church