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
Church typed-lambda calculus
{1941} Church