The following pages link to Church–Rosser Made Easy (Q3000279):
Displaying 11 items.
- An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators (Q1080843) (← links)
- A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem (Q1185009) (← links)
- More Church-Rosser proofs (in Isabelle/HOL) (Q1595924) (← links)
- The Church-Rosser theorem and quantitative analysis of witnesses (Q1627965) (← links)
- A simplified proof of the Church-Rosser theorem (Q2016071) (← links)
- Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323) (← links)
- Machine-checked proof of the Church-Rosser theorem for the lambda calculus using the Barendregt variable convention in constructive type theory (Q2333314) (← links)
- Complexity Versus the Church‐Rosser Property and Confluence (Q3478392) (← links)
- <i>Theoretical Pearl</i> Yet yet a counterexample for λ+SP (Q4764268) (← links)
- Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction (Q5178963) (← links)
- Parallel reductions in \(\lambda\)-calculus (Q5917605) (← links)