On confluence and residuals in Cauchy convergent transfinite rewriting

Research output: Contribution to journalJournal articleResearchpeer-review

We show that non-collapsing orthogonal term rewriting systems do not have the transfinite Church-Rosser property in the setting of Cauchy convergence. In addition, we show that for (a transfinite version of) the Parallel Moves Lemma to hold, any definition of residual for Cauchy convergent rewriting must either part with a number of fundamental properties enjoyed by rewriting systems in the finitary and strongly convergent settings, or fail to hold for very simple rewriting systems.

Original languageEnglish
JournalInformation Processing Letters
Volume91
Issue number3
Pages (from-to)141-146
Number of pages6
ISSN0020-0190
DOIs
Publication statusPublished - 16 Aug 2004

    Research areas

  • Cauchy convergence, Church-Rosser property, Infinitary rewriting, Programming calculi, Transfinite term rewriting

ID: 224021057