Locales: a module system for mathematical theories (Q2352487): Difference between revisions

@@ Property / cites work @@
+A theory of mixin modules: basic and derived operators
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretation of Locales in Isabelle: Theories and Proof Contexts
+Normal rank
@@ Property / cites work @@
+Q3062061
@@ Property / cites work: Q3062061 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Type Classes in Isabelle
@@ Property / cites work: Constructive Type Classes in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Local Theory Specifications in Isabelle/Isar
@@ Property / cites work: Local Theory Specifications in Isabelle/Isar / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944854
@@ Property / cites work: Q4944854 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism
+Normal rank
@@ Property / cites work @@
+Q4809073
@@ Property / cites work: Q4809073 / rank @@
+Normal rank