A correspondence between ALGOL 60 and Church’s lambda-notation: Part I (1965)

by Peter J Landin
Venue:Communications of the ACM