Proof Terms for Simply Typed Higher Order Logic (2000)

by S Berghofer, T Nipkow
Venue:In TPHOL’02 — Theorem Proving in Higher Order Logics, volume 1869 of LNCS