Landin, P. J. "Correspondence between ALGOL 60 and Church's Lambda-notation: part I" pp89-101

(1965)

[ACM] (1965) [ACM] CACM 8(02) Feb 1965  

Languages mentioned