Homotopy limits in type theory (Q5740649): Difference between revisions

@@ 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 / arXiv ID @@
+.0680
@@ Property / arXiv ID: 1304.0680 / rank @@
+Normal rank
@@ Property / cites work @@
+Types are weak <i>ω</i> -groupoids
@@ Property / cites work: Types are weak <i>ω</i> -groupoids / 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 @@
+A Machine-Checked Proof of the Odd Order Theorem
@@ Property / cites work: A Machine-Checked Proof of the Odd Order Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract homotopy theory and generalized sheaf cohomology
+Normal rank
@@ Property / cites work @@
+Homotopy limits, completions and localizations
@@ Property / cites work: Homotopy limits, completions and localizations / rank @@
+Normal rank
@@ Property / cites work @@
+Pull-Backs in Homotopy Theory
@@ Property / cites work: Pull-Backs in Homotopy 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 @@
+Weak ω-Categories from Intensional Type Theory
@@ Property / cites work: Weak ω-Categories from Intensional Type Theory / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5740649