Term rewriting for normalization by evaluation
Authors:
- 1 May 2003
- journal article
- Published by Elsevier in Information and Computation
- Vol. 183 (1) , 19-42
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Intuitionistic model constructions and normalization proofsMathematical Structures in Computer Science, 1997
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972