BibTeX
@MISC{Groote93theconservation,
author = {Philippe de Groote},
title = {The Conservation Theorem revisited},
year = {1993}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call fi S , and we prove that any -term that has a fi I fi S-normal form is strongly fi-normalizable. We show how to use this result to prove the strong normalization of different typed -calculi.
