Interpretation of locales in Isabelle: Theories and proof contexts (2006)

by Clemens Ballarin
Venue:Mathematical Knowledge Management, (MKM 2006), LNAI 4108