An abstract framework for environment machines
- 31 May 1991
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 82 (2) , 389-402
- https://doi.org/10.1016/0304-3975(91)90230-y
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Confluence results for the pure strong categorical logic CCL. λ-calculi as subsystems of CCLTheoretical Computer Science, 1989
- The categorical abstract machineScience of Computer Programming, 1987
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964