A higher-order implementation of rewriting

Publisher Website

31 August 1983

journal article
Published by Elsevier in Science of Computer Programming

Vol. 3 (2) , 119-149
https://doi.org/10.1016/0167-6423(83)90008-4

Abstract

No abstract available

Keywords

All Related Versions

Version 1, 2001-03-29, ArXiv (Unconfirmed version)

This publication has 7 references indexed in Scilit:

Mathematical Theory of Computation
Published by Defense Technical Information Center (DTIC) ,1991
The Equivalence of Two Semantic Definitions: A Case Study in LCF
SIAM Journal on Computing, 1983
Equations and Rewrite Rules: A Survey
Published by Elsevier ,1980
Edinburgh LCF
Lecture Notes in Computer Science, 1979
A Computational Logic
Published by Elsevier ,1979
Can programming be liberated from the von Neumann style?
Communications of the ACM, 1978
Algebraic structures for transitive closure
Theoretical Computer Science, 1977