Modalities in homotopy type theory (Q5208873): Difference between revisions

@@ Property / cites work @@
+Propositions as [Types]
@@ Property / cites work: Propositions as [Types] / rank @@
+Normal rank
@@ Property / cites work @@
+Partiality, Revisited
@@ Property / cites work: Partiality, Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Bousfield localization and the Hasse square
@@ Property / cites work: Bousfield localization and the Hasse square / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated algebraic injectivity and the faithfulness conjecture
+Normal rank
@@ Property / cites work @@
+Q3691902
@@ Property / cites work: Q3691902 / rank @@
+Normal rank
@@ Property / cites work @@
+On localization and stabilization for factorization systems
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+Q5367048
@@ Property / cites work: Q5367048 / rank @@
+Normal rank
@@ Property / cites work @@
+Implications of large-cardinal principles in homotopical localization
+Normal rank
@@ Property / cites work @@
+Fibrational modal type theory
@@ Property / cites work: Fibrational modal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory
+Normal rank
@@ Property / cites work @@
+Univalence in locally Cartesian closed categories
@@ Property / cites work: Univalence in locally Cartesian closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Cover semantics for quantified lax logic
@@ Property / cites work: Cover semantics for quantified lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed quasi‐categories from type theory
+Normal rank
@@ Property / cites work @@
+The simplicial model of univalent foundations (after Voevodsky)
+Normal rank
@@ Property / cites work @@
+Higher Homotopies in a Hierarchy of Univalent Universes
+Normal rank
@@ Property / cites work @@
+Eilenberg-MacLane spaces in homotopy type theory
@@ Property / cites work: Eilenberg-MacLane spaces in homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of higher inductive types
@@ Property / cites work: Semantics of higher inductive types / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+The Local Universes Model
@@ Property / cites work: The Local Universes Model / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3113883
@@ Property / cites work: Q3113883 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The real projective spaces in homotopy type theory
+Normal rank
@@ Property / cites work @@
+Sets in homotopy type theory
@@ Property / cites work: Sets in homotopy type theory / rank @@
+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 @@
+Univalence for inverse EI diagrams
@@ Property / cites work: Univalence for inverse EI diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer's fixed-point theorem in real-cohesive homotopy type theory
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank