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

by Frank Pfenning
Citations:36 - 8 self