Martin-Löf complexes (Q385803): Difference between revisions

@@ Property / arXiv ID @@
+.4521
@@ Property / arXiv ID: 0906.4521 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Theory and Homotopy
@@ Property / cites work: Type Theory and Homotopy / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy theoretic models of identity types
@@ Property / cites work: Homotopy theoretic models of identity types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701018
@@ Property / cites work: Q5701018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896537
@@ Property / cites work: Q4896537 / rank @@
+Normal rank
@@ Property / cites work @@
+The identity type weak factorisation system
@@ Property / cites work: The identity type weak factorisation system / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional models of type theory
@@ Property / cites work: Two-dimensional models of type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial realizability models of type theory
@@ Property / cites work: Combinatorial realizability models of type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Strong stacks and classifying spaces
@@ Property / cites work: Strong stacks and classifying spaces / rank @@
+Normal rank
@@ Property / cites work @@
+A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570960
@@ Property / cites work: Q5570960 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak omega-categories from intensional type theory
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopical algebra
@@ Property / cites work: Homotopical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+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 @@
+Types are weak <i>ω</i> -groupoids
@@ Property / cites work: Types are weak <i>ω</i> -groupoids / rank @@
+Normal rank