Institut Mittag-Leffler
The Royal Swedish Academy of Sciences


Reports Institut Mittag-Leffler
ISSN: 1103-467X
ISRN: IML-R


Term Rewriting for Normalization by Evaluation
Source file as TeX DVI Data Postscript Document Portable Document Format

Ulrich Berger , Matthias Eberl , Helmut Schwichtenberg

Preprint series: Mathematical Logic - 2000/2001, No. 19

MSC 2000

03F05 Cut-elimination and normal-form theorems
68Q42 Grammars and rewriting systems

Keywords: normalization by evaluation, term rewriting, computational rule