## 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}

}

### 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.