A correspondence between ALGOL 60 and Church's Lambda-notations
Peter J. Landin · Communications of the ACM · 1965
article Free Access Share on A correspondence between ALGOL 60 and Church's Lambda-notations: Part II Author: P. J. Landin Univac Division of Sperry Rand Corp., New York, NY Univac Division of Sperry Rand Corp., New York, NYView Profile Authors Info & Claims Communications of the ACMVolume 8Issue 3March 1965pp 158–167https://doi.org/10.1145/363791.363804Published:01 March 1965Publication History 52citation946DownloadsMetricsTotal Citations52Total Downloads946Last 12 Months105Last 6 weeks10 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF