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

by C Ballarin
Venue:Proc. 5th MKM. Number 4108 in LNAI