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

@@ Property / DOI @@
-.1007/s10817-013-9284-7
@@ Property / DOI: 10.1007/s10817-013-9284-7 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Scala
@@ Property / describes a project that uses: Scala / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Locales
@@ Property / describes a project that uses: Locales / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathScheme
@@ Property / describes a project that uses: MathScheme / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/Isar
@@ Property / describes a project that uses: Isabelle/Isar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-013-9284-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2061969020
@@ Property / OpenAlex ID: W2061969020 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10817-013-9284-7
@@ Property / DOI: 10.1007/S10817-013-9284-7 / rank @@
+Normal rank