The univalence axiom in cubical sets (Q2319981): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-018-9472-6
@@ Property / DOI: 10.1007/s10817-018-9472-6 / 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 @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+Cubical Type Theory: a constructive interpretation of the univalence axiom
+Normal rank
@@ Property / cites work @@
+Understanding the small object argument
@@ Property / cites work: Understanding the small object argument / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic weak factorisation system on 01-substitution sets: a constructive proof
+Normal rank
@@ Property / DOI @@
+.1007/S10817-018-9472-6
@@ Property / DOI: 10.1007/S10817-018-9472-6 / rank @@
+Normal rank