Q6079232 (Q6079232): Difference between revisions

@@ Property / cites work @@
+Towards a Cubical Type Theory without an Interval
@@ Property / cites work: Towards a Cubical Type Theory without an Interval / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric realisations of cubical sets with connections, and classifying spaces of categories
+Normal rank
@@ Property / cites work @@
+A cubical model of homotopy type theory
@@ Property / cites work: A cubical model of homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Cohomology of small categories
@@ Property / cites work: Cohomology of small categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of Cubical Sets
@@ Property / cites work: Varieties of Cubical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5278407
@@ Property / cites work: Q5278407 / rank @@
+Normal rank
@@ Property / cites work @@
+Cubical Type Theory: a constructive interpretation of the univalence axiom
+Normal rank
@@ Property / cites work @@
+The Frobenius condition, right properness, and uniform fibrations
+Normal rank
@@ Property / cites work @@
+Q4790109
@@ Property / cites work: Q4790109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+-Dimensional Directed Type Theory
@@ Property / cites work: 2-Dimensional Directed Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a directed homotopy type theory
@@ Property / cites work: Towards a directed homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A model for the homotopy theory of homotopy theory
+Normal rank
@@ Property / cites work @@
+A type theory for synthetic $\infty$-categories
@@ Property / cites work: A type theory for synthetic $\infty$-categories / rank @@
+Normal rank
@@ Property / cites work @@
+The univalence axiom for elegant Reedy presheaves
@@ Property / cites work: The univalence axiom for elegant Reedy presheaves / rank @@
+Normal rank
@@ Property / cites work @@
+Univalence for inverse diagrams and homotopy canonicity
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank