Executing higher order logic (2002)

by S Berghofer, T Nipkow
Venue:Proceedings of TYPES’00, volume 2xxx of Lecture Notes in Computer Science