Executing Higher-Order Logic (2002)

by Stefan Berghofer, Tobias Nipkow
Venue:Types ’00, LNCS 2277