Homotopy-Theoretic Models of Type Theory (Q3007656): Difference between revisions

@@ Property / cites work @@
+Homotopy-Theoretic Models of Type Theory
@@ Property / cites work: Homotopy-Theoretic Models of Type Theory / 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 @@
+Type Theory and Homotopy
@@ Property / cites work: Type Theory and Homotopy / rank @@
+Normal rank
@@ Property / cites work @@
+On left and right model categories and left and right Bousfield localizations
+Normal rank
@@ Property / cites work @@
+Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
+Normal rank
@@ Property / cites work @@
+Théories homotopiques dans les topos. (Homotopy theories in topoi)
+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 @@
+Polynomial functors and polynomial monads
@@ Property / cites work: Polynomial functors and polynomial monads / rank @@
+Normal rank
@@ Property / cites work @@
+Topological and Simplicial Models of Identity Types
+Normal rank
@@ Property / cites work @@
+Q4790109
@@ Property / cites work: Q4790109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220599
@@ Property / cites work: Q4220599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak omega-categories from intensional type theory
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathbb{A}^1\)-homotopy theory of schemes
@@ Property / cites work: \(\mathbb{A}^1\)-homotopy theory of schemes / 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 @@
+Every homotopy theory of simplicial algebras admits a proper model
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathbb{A}^1\)-homotopy theory
@@ Property / cites work: \(\mathbb{A}^1\)-homotopy theory / rank @@
+Normal rank