Executing higher order logic (2002)

by Stefan Berghofer , Tobias Nipkow , Technische Universität München
Venue:In Proc. TYPES Working Group Annual Meeting 2000, LNCS
Citations:49 - 17 self