Varieties of Cubical Sets (Q5283204): Difference between revisions

@@ Property / describes a project that uses @@
+cubicaltt
@@ Property / describes a project that uses: cubicaltt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2584882036
@@ Property / OpenAlex ID: W2584882036 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08189
@@ Property / arXiv ID: 1701.08189 / rank @@
+Normal rank
@@ 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