Conservation and Uniform Normalization in Lambda Calculi With Erasing Reductions (2002)
by
Peter Møller Neergaard
,
Morten Heine Sørensen
| Citations: | 1 - 0 self |
BibTeX
@MISC{Neergaard02conservationand,
author = {Peter Møller Neergaard and Morten Heine Sørensen},
title = {Conservation and Uniform Normalization in Lambda Calculi With Erasing Reductions},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
For a notion of reduction in a #-calculus one can ask whether a term satises conservation and uniform normalization. Conservation means that single-step reductions of the term preserve innite reduction paths from the term. Uniform normalization means that either the term will have no reduction paths leading to a normal form, or all reduction paths will lead to a normal form.
