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

by P J Landin
Venue:Communications of the ACM, 8(2-3):89–101 and 158–165