Lambda calculus schemata
- 1 January 1972
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 7 (1) , 104-109
- https://doi.org/10.1145/942578.807077
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Introduction to OreganoACM SIGPLAN Notices, 1971
- Block structure (Extended Abstract): Retention or deletion?Published by Association for Computing Machinery (ACM) ,1971
- The function of FUNCTION in LISP or why the FUNARG problem should be called the environment problemACM SIGSAM Bulletin, 1970
- Pushdown store machines and real-time computationPublished by Association for Computing Machinery (ACM) ,1969
- PAL---a language designed for teaching programming linguisticsPublished by Association for Computing Machinery (ACM) ,1968
- One-way stack automataJournal of the ACM, 1967
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964
- LISP 1.5 PROGRAMMER'S MANUALPublished by Defense Technical Information Center (DTIC) ,1962