A scalable module system (Q391632): Difference between revisions

@@ Property / describes a project that uses @@
+LATIN
@@ Property / describes a project that uses: LATIN / 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.1016/j.ic.2013.06.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1999680561
@@ Property / OpenAlex ID: W1999680561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769045
@@ Property / cites work: Q2769045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Project Abstract: Logic Atlas and Integrator (LATIN)
+Normal rank
@@ Property / cites work @@
+Q2722016
@@ Property / cites work: Q2722016 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework combining model and proof theory
+Normal rank
@@ Property / cites work @@
+Representing model theory in a type-theoretical logical framework
+Normal rank
@@ Property / cites work @@
+A Proof Theoretic Interpretation of Model Theoretic Hiding
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565097
@@ Property / cites work: Q5565097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4104968
@@ Property / cites work: Q4104968 / rank @@
+Normal rank
@@ Property / cites work @@
+Crafting a Proof Assistant
@@ Property / cites work: Crafting a Proof Assistant / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Towards Logical Frameworks in the Heterogeneous Tool Set Hets
+Normal rank
@@ Property / cites work @@
+Q4471939
@@ Property / cites work: Q4471939 / rank @@
+Normal rank
@@ Property / cites work @@
+OpenMath in SCIEnce: SCSCP and POPCORN
@@ Property / cites work: OpenMath in SCIEnce: SCSCP and POPCORN / rank @@
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Development graphs -- proof management for structured specifications
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610115
@@ Property / cites work: Q5610115 / rank @@
+Normal rank
@@ Property / cites work @@
+IMPS: An interactive mathematical proof system
@@ Property / cites work: IMPS: An interactive mathematical proof system / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752048
@@ Property / cites work: Q2752048 / rank @@
+Normal rank
@@ Property / cites work @@
+Packaging Mathematical Structures
@@ Property / cites work: Packaging Mathematical Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending MKM Formats at the Statement Level
@@ Property / cites work: Extending MKM Formats at the Statement Level / rank @@
+Normal rank
@@ Property / cites work @@
+Formalising foundations of mathematics
@@ Property / cites work: Formalising foundations of mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a mechanized metatheory of standard ML
@@ Property / cites work: Towards a mechanized metatheory of standard ML / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+A Universal Machine for Biform Theory Graphs
@@ Property / cites work: A Universal Machine for Biform Theory Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Structured theory presentations and logic representations
+Normal rank
@@ Property / cites work @@
+Towards MKM in the Large: Modular Representation and Scalable Software Architecture
+Normal rank
@@ Property / cites work @@
+Integrating Web Services into Active Mathematical Documents
+Normal rank
@@ Property / cites work @@
+A Query Language for Formal Mathematical Libraries
+Normal rank
@@ Property / cites work @@
+Notations for Living Mathematical Documents
@@ Property / cites work: Notations for Living Mathematical Documents / rank @@
+Normal rank
@@ Property / cites work @@
+A Foundational View on Integration Problems
@@ Property / cites work: A Foundational View on Integration Problems / rank @@
+Normal rank
@@ Property / cites work @@
+An Integrated Development Environment for Collections
+Normal rank
@@ Property / cites work @@
+The Mizar Mathematical Library in OMDoc: translation and applications
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank