Correspondence between ALGOL 60 and Church's Lambda-notation
- 1 February 1965
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 8 (2), 89-101
- https://doi.org/10.1145/363744.363749
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964
- Design of a separable transition-diagram compilerCommunications of the ACM, 1963
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963
- LISP 1.5 PROGRAMMER'S MANUALPublished by Defense Technical Information Center (DTIC) ,1962
- Some proposals for improving the efficiency of ALGOL 60Communications of the ACM, 1961