Executing higher order logic (2000)

by S Berghofer, T Nipkow
Venue:Types for Proofs and Programs: International Workshop, TYPES 2000, volume 2277 of LNCS