A correspondence between ALGOL 60 and Church’s Lambda-notations: Part II. (1965)

by P J Landin
Venue:Commun. ACM