Church-Rosser Properties of Normal Rewriting - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Church-Rosser Properties of Normal Rewriting

Jean-Pierre Jouannaud
  • Function : Author
  • PersonId : 857080
Jian-Qi Li
  • Function : Author
  • PersonId : 872885


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.
Fichier principal
Vignette du fichier
paper27.pdf (363.47 Ko) Télécharger le fichier
presentation-CSL.pdf (131.76 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Format : Other

Dates and versions

hal-00730271 , version 1 (08-09-2012)



Jean-Pierre Jouannaud, Jian-Qi Li. Church-Rosser Properties of Normal Rewriting. Computer Science Logic, European Association for Computer Science Logic, Sep 2012, Fontainebleau, France. pp.350-365, ⟨10.4230/LIPIcs.CSL.2012.i⟩. ⟨hal-00730271⟩
279 View
102 Download



Gmail Facebook X LinkedIn More