From signatures to monads in \textsf{UniMath} (Q2319990): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-018-9474-4
@@ Property / DOI: 10.1007/s10817-018-9474-4 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+cubicaltt
@@ Property / describes a project that uses: cubicaltt / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3102794350
@@ Property / OpenAlex ID: W3102794350 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00693
@@ Property / arXiv ID: 1612.00693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-wellfounded trees in Homotopy Type Theory
@@ Property / cites work: Non-wellfounded trees in Homotopy Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Univalent categories and the Rezk completion
@@ Property / cites work: Univalent categories and the Rezk completion / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous Substitution Systems Revisited
@@ Property / cites work: Heterogeneous Substitution Systems Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Semantics for higher-order typed syntax in Coq
+Normal rank
@@ Property / cites work @@
+Q4945244
@@ Property / cites work: Q4945244 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Types in Homotopy Type Theory
@@ Property / cites work: Inductive Types in Homotopy Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution: A formal methods case study using monads and transformations
+Normal rank
@@ Property / cites work @@
+de Bruijn notation as a nested datatype
@@ Property / cites work: de Bruijn notation as a nested datatype / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised folds for nested datatypes
@@ Property / cites work: Generalised folds for nested datatypes / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+Q4435464
@@ Property / cites work: Q4435464 / rank @@
+Normal rank
@@ Property / cites work @@
+Cubical Type Theory: a constructive interpretation of the univalence axiom
+Normal rank
@@ Property / cites work @@
+Modules over Monads and Linearity
@@ Property / cites work: Modules over Monads and Linearity / rank @@
+Normal rank
@@ Property / cites work @@
+Modules over monads and initial semantics
@@ Property / cites work: Modules over monads and initial semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The simplicial model of univalent foundations (after Voevodsky)
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328540
@@ Property / cites work: Q3328540 / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution in non-wellfounded syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+C-system of a module over a \(Jf\)-relative monad
@@ Property / cites work: C-system of a module over a \(Jf\)-relative monad / rank @@
+Normal rank
@@ Property / cites work @@
+A C-system defined by a universe category
@@ Property / cites work: A C-system defined by a universe category / rank @@
+Normal rank
@@ Property / cites work @@
+An experimental library of formalized Mathematics based on the univalent foundations
+Normal rank
@@ Property / Wikidata QID @@
+Q129537749
@@ Property / Wikidata QID: Q129537749 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-018-9474-4
@@ Property / DOI: 10.1007/S10817-018-9474-4 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2319990