An interpretation of isabelle/hol in hol light

by Sean Mclaughlin
Venue:In Furbach and Shankar [20