On the Church-Rosser property and reducibility of natural derivations

MaRDI QIDQ3365447zbMATH OpenFDO

Authors Chavdar Iliev

Publication date 23 January 2006

Mathematics Subject Classification ID

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

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

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)