Church–Rosser Made Easy
From MaRDI portal
Publication:3000279
Recommendations
- Modular Church-Rosser Modulo
- Church-Rosser codes
- When Church-Rosser becomes context free
- Church-Rosser groups and growing context-sensitive groups
- Remarks on the Church-Rosser Property
- scientific article; zbMATH DE number 1169380
- Kreisel's Church
- A simplified proof of the Church-Rosser theorem
- Adhesivity is not enough: local Church-Rosser revisited
Cited in
(16)- Parallel reductions in \(\lambda\)-calculus
- scientific article; zbMATH DE number 3933067 (Why is no real title available?)
- Machine-checked proof of the Church-Rosser theorem for the lambda calculus using the Barendregt variable convention in constructive type theory
- A simplified proof of the Church-Rosser theorem
- Complexity Versus the Church‐Rosser Property and Confluence
- The Church-Rosser theorem and quantitative analysis of witnesses
- Least upper bounds on the size of Church-Rosser diagrams in term rewriting and \(\lambda \)-calculus
- scientific article; zbMATH DE number 1953901 (Why is no real title available?)
- Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus
- Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction
- More Church-Rosser proofs (in Isabelle/HOL)
- Church-Rosser theorem for typed functional systems
- A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem
- Remarks on the Church-Rosser Property
- Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
- An extension of Klop's counterexample to the Church-Rosser property to -calculus with other ordered pair combinators
This page was built for publication: Church–Rosser Made Easy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000279)