Q4611379 (Q4611379): Difference between revisions

@@ Property / cites work @@
+Natural models of homotopy type theory
@@ Property / cites work: Natural models of homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded Cubical Type Theory: Path Equality for Guarded Recursion
+Normal rank
@@ Property / cites work @@
+A Kripke model for simplicial sets
@@ Property / cites work: A Kripke model for simplicial sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248239
@@ Property / cites work: Q4248239 / rank @@
+Normal rank
@@ Property / cites work @@
+Cubical Type Theory: a constructive interpretation of the univalence axiom
+Normal rank
@@ Property / cites work @@
+Isomorphism is equality
@@ Property / cites work: Isomorphism is equality / rank @@
+Normal rank
@@ Property / cites work @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A homotopy-theoretic model of function extensionality in the effective topos
+Normal rank
@@ Property / cites work @@
+The Frobenius condition, right properness, and uniform fibrations
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Topological Topos
@@ Property / cites work: On a Topological Topos / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4993352
@@ Property / cites work: Q4993352 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+The Local Universes Model
@@ Property / cites work: The Local Universes Model / rank @@
+Normal rank
@@ Property / cites work @@
+Modular correspondence between dependent type theories and categories including pretopoi and topoi
+Normal rank
@@ Property / cites work @@
+Q4255482
@@ Property / cites work: Q4255482 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718564
@@ Property / cites work: Q5718564 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic weak factorisation system on 01-substitution sets: a constructive proof
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank