Postponement, conservation and preservation of strong normalization for generalized reduction

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

Postponement of ßK-contractions and the conservation theorem do not hold for ordinary ß but have been established by de 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 moreover, that ße has the preservation of strong normalization property.

Original languageEnglish
Pages (from-to)721-738
Number of pages18
JournalJournal of Logic and Computation
Volume10
Issue number5
Publication statusPublished - Oct 2000

Fingerprint Dive into the research topics of 'Postponement, conservation and preservation of strong normalization for generalized reduction'. Together they form a unique fingerprint.

  • Cite this