Combinatorial structure of type dependency (Q2254771): Difference between revisions

@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads with arities and their associated theories
@@ Property / cites work: Monads with arities and their associated theories / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Connected limits, familial representability and Artin glueing
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+Q3142163
@@ Property / cites work: Q3142163 / rank @@
+Normal rank
@@ Property / cites work @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474857
@@ Property / cites work: Q4474857 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Q5752573
@@ Property / cites work: Q5752573 / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehension categories and the semantics of type dependency
+Normal rank
@@ Property / cites work @@
+Q3752561
@@ Property / cites work: Q3752561 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial functors and opetopes
@@ Property / cites work: Polynomial functors and opetopes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156479
@@ Property / cites work: Q3156479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753183
@@ Property / cites work: Q2753183 / rank @@
+Normal rank
@@ Property / cites work @@
+The petit topos of globular sets
@@ Property / cites work: The petit topos of globular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Q3156505
@@ Property / cites work: Q3156505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5454622
@@ Property / cites work: Q5454622 / rank @@
+Normal rank
@@ Property / cites work @@
+Multitensors as monads on categories of enriched graphs
+Normal rank