Postponement, Conservation and Preservation of Strong Normalization for Generalized Reduction

摘要

Postponement of βK-contractions and the conservation theorem do not hold for ordinary βbut have been established by the Groote for a mixture of β with another reduction relation. In this paper, de Groote's results are generalized for a single reduction relation β_e which generalizes β. We show morever, that β_e has the preservation of strong normalization property.