Constructive sheaf models of type theory (Q5084309): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944846
@@ Property / cites work: Q4944846 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy limits in type theory
@@ Property / cites work: Homotopy limits in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Toposes without points
@@ Property / cites work: Toposes without points / rank @@
+Normal rank
@@ Property / cites work @@
+Reedy categories and the \(\varTheta\)-construction
+Normal rank
@@ Property / cites work @@
+Q3235350
@@ Property / cites work: Q3235350 / rank @@
+Normal rank
@@ Property / cites work @@
+Cubical Type Theory: a constructive interpretation of the univalence axiom
+Normal rank
@@ Property / cites work @@
+On Higher Inductive Types in Cubical Type Theory
@@ Property / cites work: On Higher Inductive Types in Cubical Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144677
@@ Property / cites work: Q5144677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5753923
@@ Property / cites work: Q5753923 / rank @@
+Normal rank
@@ Property / cites work @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-simplicial complexes and singular homology
@@ Property / cites work: Semi-simplicial complexes and singular homology / rank @@
+Normal rank
@@ Property / cites work @@
+Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Pointers in Recursion: Exploring the Tropics
@@ Property / cites work: Pointers in Recursion: Exploring the Tropics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Newton–Puiseux theorem
@@ Property / cites work: Dynamic Newton–Puiseux theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5278410
@@ Property / cites work: Q5278410 / rank @@
+Normal rank
@@ Property / cites work @@
+Lawvere-Tierney sheafification in Homotopy Type Theory
+Normal rank
@@ Property / cites work @@
+Modalities in homotopy type theory
@@ Property / cites work: Modalities in homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
+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 @@
+Brouwer's fixed-point theorem in real-cohesive homotopy type theory
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+An experimental library of formalized Mathematics based on the univalent foundations
+Normal rank
@@ Property / cites work @@
+A Constructive Model of Directed Univalence in Bicubical Sets
+Normal rank
@@ Property / OpenAlex ID @@
+W3217362411
@@ Property / OpenAlex ID: W3217362411 / rank @@
+Normal rank