A higher-order implementation of rewriting
- 31 August 1983
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 3 (2) , 119-149
Abstract
No abstract availableKeywords
All Related Versions
This publication has 6 references indexed in Scilit:
- The Equivalence of Two Semantic Definitions: A Case Study in LCFSIAM Journal on Computing, 1983
- Equations and Rewrite Rules: A Survey1980
- Edinburgh LCF1979
- A Computational Logic1979
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Algebraic structures for transitive closureTheoretical Computer Science, 1977