A Correspondence Between ALGOL (1965)

by Peter J Landin
Venue:60 and Church’s Lambda-Notation: Parts I/II. Communications of the ACM, 8(2/3):89–101:158–165, February/March