Lambda-calculus schemata
- 1 November 1993
- journal article
- research article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 6 (3-4) , 259-287
- https://doi.org/10.1007/bf01019461
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- The next 700 formal language descriptionsHigher-Order and Symbolic Computation, 1993
- Representing Control: a Study of the CPS TransformationMathematical Structures in Computer Science, 1992
- A bonus from van Wijngaarden's deviceCommunications of the ACM, 1972
- Translating recursion equations into flow chartsJournal of Computer and System Sciences, 1971
- Proving algorithms by tail functionsInformation and Control, 1971
- Introduction to OreganoACM SIGPLAN Notices, 1971
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Pushdown store machines and real-time computationPublished by Association for Computing Machinery (ACM) ,1969
- One-way stack automataJournal of the ACM, 1967
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964