An Abstract form of the church-rosser theorem. I

DOI10.2307/2270849zbMath0195.02102OpenAlexW4255686418MaRDI QIDQ5590805

Roger Hindley

Publication date: 1969

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270849

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (13)

Context rewriting ⋮ Reductions of Residuals are Finite ⋮ Standard and Normal Reductions ⋮ History and basic features of the critical-pair/completion procedure ⋮ The geometry of orthogonal reduction spaces ⋮ Resolution in type theory ⋮ Ein algebraischer Beweis für das Church-Rosser-Theorem ⋮ The Church-Rosser property in symmetric combinatory logic ⋮ European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978 ⋮ The Church-Rosser property in dual combinatory logic ⋮ Descendants and origins in term rewriting. ⋮ Relating conflict-free stable transition and event models via redex families ⋮ The Equivalence of Complete Reductions

This page was built for publication: An Abstract form of the church-rosser theorem. I