Term rewriting for normalization by evaluation.
type: Item
instance of: scholarly article
title: Term rewriting for normalization by evaluation.
zbMATH Open document ID: 1054.68078
DOI: 10.1016/S0890-5401(03)00014-2
author: Ulrich Berger
author: Matthias Eberl
author: Helmut Schwichtenberg
published in: Information and Computation
publication date: 2003-08-19T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 1967129
zbMATH Keywords: \(\lambda\)-calculus
MaRDI profile type: Publication
cites work: Categorical reconstruction of a reduction free normalization proof
cites work: Q4524766
cites work: Q4938550
cites work: Intuitionistic model constructions and normalization proofs
cites work: Categories for Types
cites work: Q5667469
cites work: Q4494371
cites work: Q3727946
cites work: Recursive functions of symbolic expressions and their computation by machine, Part I
cites work: LCF considered as a programming language
description: scientific article; zbMATH DE number 1967129