On the Church-Rosser property and reducibility of natural derivations

zbMATH Open1079.68572MaRDI QIDQ3365447FDOQ3365447

Authors: Chavdar Iliev 

Publication date: 23 January 2006

Recommendations

• Remarks on the Church-Rosser Property
• Church-Rosser property of a simple reduction for full first-order classical natural deduction
• Complexity Versus the Church‐Rosser Property and Confluence
• Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction
• scientific article; zbMATH DE number 3934390

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Cited In (4)

• Church-Rosser property of a simple reduction for full first-order classical natural deduction
• Complexity Versus the Church‐Rosser Property and Confluence
• Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation
• Remarks on the Church-Rosser Property

This page was built for publication: On the Church-Rosser property and reducibility of natural derivations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3365447)