An interpretation of isabelle/hol in hol light

Cached

Download Links

by Sean Mclaughlin
Venue:In Furbach and Shankar [20
Citations:2 - 1 self