Remarks on the Church-Rosser Property

DOI10.2307/2274957MaRDI QIDQ3201045zbMATH OpenOpenAlexFDO

Authors

Publication date 1990

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274957

zbMATH Keywords

proof theorynatural deductionlambda calculusreduction algebraChurch-Rosser Propertysemi-computablestrong normalization theorem for the impredicative second-order intuitionistic propositional calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40) Metamathematics of constructive systems (03F50)

Recommendations

• On the Church-Rosser property and reducibility of natural derivations
• Church-Rosser property of a simple reduction for full first-order classical natural deduction
• Complexity Versus the Church‐Rosser Property and Confluence
• Church–Rosser Made Easy
• scientific article; zbMATH DE number 3896290

Cited in

(6)

• On the Church-Rosser property and reducibility of natural derivations
• Complexity Versus the Church‐Rosser Property and Confluence
• Church–Rosser Made Easy
• scientific article; zbMATH DE number 5558176 (Why is no real title available?)
• scientific article; zbMATH DE number 3896290 (Why is no real title available?)
• An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators

This page was built for publication: Remarks on the Church-Rosser Property

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