A Correspondence between Algol 60 and Church's lambda notation: Part I (0)

by P Landin
Venue:Communications of the ACM