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