Church-Rosser Properties of Normal Rewriting

Authors Jean-Pierre Jouannaud, Jianqi Li

Thumbnail PDF


  • Filesize: 434 kB
  • 16 pages

Document Identifiers

Author Details

Jean-Pierre Jouannaud
Jianqi Li

Cite AsGet BibTex

Jean-Pierre Jouannaud and Jianqi Li. Church-Rosser Properties of Normal Rewriting. In Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs), Volume 16, pp. 350-365, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


We prove a general purpose abstract Church-Rosser result that captures most existing such results that rely on termination of computations. This is achieved by studying abstract normal rewriting in a way that allows to incorporate positions at the abstract level. New concrete Church-Rosser results are obtained, in particular for higher-order rewriting at higher types.
  • abstract normal rewriting
  • Church-Rosser property


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads