A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework (1992)

by Frank Pfenning
Citations:36 - 8 self

Document Versions

A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework –Frank Pfenning — 1992
A proof of the Church-Rosser theorem and its representation in a logical framework –Frank Pfenning — 1992 — Journal of Automated Reasoning