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

by C Ballarin
Venue:of Lecture Notes in Computer Science