A Correspondence between ALGOL 60 (1965)

by P J Landin
Venue:and Church’s Lambda Notation, Part I,’’ CACM