Interpretation of Locales in Isabelle: Theories and Proof Contexts

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_4 ◽

2006 ◽

pp. 31-43 ◽

Cited By ~ 30

Author(s):

Clemens Ballarin

Download Full-text