Proof Terms for Simply Typed Higher Order Logic (2000)

by Stefan Berghofer , Tobias Nipkow
Venue:IN THEOREM PROVING IN HIGHER ORDER LOGICS, 13TH INTERNATIONAL CONFERENCE, VOLUME 1869 OF LNCS
Citations:34 - 8 self