A correspondence between ALGOL 60 and Church’s lambda notation (1965)

by P J Landin
Venue:Communications of the ACM