More Church–Rosser Proofs

• 1 January 2001
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 26  (1) , 51-66
• https://doi.org/10.1023/a:1006496715975

Abstract

Keywords

• Λ-CALCULUS
• CHURCH–ROSSER PROOF
• THEOREM PROVING