Church–Rosser Made Easy

DOI10.3233/FI-2010-322zbMATH Open1231.03012OpenAlexW1879050965MaRDI QIDQ3000279

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

zbMATH Keywords

confluencelambda-calculusChurch-Rosser theorem

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• A simplified proof of the Church-Rosser theorem 👍 👎
• Adhesivity Is Not Enough: Local Church-Rosser Revisited 👍 👎
• Remarks on the Church-Rosser Property 👍 👎
• WHEN CHURCH-ROSSER BECOMES CONTEXT FREE 👍 👎
• Modular Church-Rosser Modulo 👍 👎
• Church-Rosser codes 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: Church–Rosser Made Easy