Document Versions

Proof Transformations in Higher-Order Logic –Frank Pfenning — 1987