A correspondence between ALGOL 60 and Church's Lambda-notations

• 1 March 1965
• journal article
• Published by Association for Computing Machinery (ACM) in Communications of the ACM
• Vol. 8  (3) , 158-167
• https://doi.org/10.1145/363791.363804

Abstract

Keywords

• PART II