Correspondence between algol 60 and church’s lambda-notation: part i (1965)

by P J Landin
Venue:Commun. ACM