Varieties of Cubical Sets (Q5283204): Difference between revisions

@@ Property / cites work @@
+Computational higher-dimensional type theory
@@ Property / cites work: Computational higher-dimensional type theory / 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 @@
+Normal forms and truth tables for fuzzy logics
@@ Property / cites work: Normal forms and truth tables for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707052
@@ Property / cites work: Q4707052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3374890
@@ Property / cites work: Q3374890 / rank @@
+Normal rank
@@ Property / cites work @@
+The cubical category with connections is a strict test category
+Normal rank
@@ Property / cites work @@
+Higher algebraic K-theory: I
@@ Property / cites work: Higher algebraic K-theory: I / rank @@
+Normal rank