Executing higher order logic (2002)

by Stefan Berghofer, Tobias Nipkow
Venue:Types for Proofs and Programs: TYPES’2000, volume 2277 of Lecture Notes in Computer Science