Church–Rosser Made Easy
From MaRDI portal
Publication:3000279
DOI10.3233/FI-2010-322zbMATH Open1231.03012OpenAlexW1879050965MaRDI QIDQ3000279FDOQ3000279
Authors: Dexter Kozen
Publication date: 18 May 2011
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2010-322
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)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction
- Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus
- 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 \(\lambda\)-calculus with other ordered pair combinators
- Parallel reductions in \(\lambda\)-calculus
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)