The following pages link to Type Theory and Homotopy (Q5253928):
Displaying 27 items.
- Martin-Löf complexes (Q385803) (← links)
- Combinatorial realizability models of type theory (Q385804) (← links)
- Carnap and the invariance of logical truth (Q1708751) (← links)
- The homotopy theory of type theories (Q1785779) (← links)
- Univalence as a principle of logic (Q1788330) (← links)
- The axioms of constructive geometry (Q1902978) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- Homotopy Type Theory (Q2937385) (← links)
- The Local Universes Model (Q2957763) (← links)
- Idempotents in intensional type theory (Q2974780) (← links)
- Homotopy-Theoretic Models of Type Theory (Q3007656) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- (Q4877489) (← links)
- (Q4944848) (← links)
- Homotopy Type Theory: A synthetic approach to higher equalities (Q5040166) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- Lawvere-Tierney sheafification in Homotopy Type Theory (Q5195281) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- Localization in Homotopy Type Theory (Q5217587) (← links)
- The Seifert-van Kampen Theorem in Homotopy Type Theory (Q5278408) (← links)
- Towards Constructive Homological Algebra in Type Theory (Q5428258) (← links)
- A univalent formalization of the <i>p</i>-adic numbers (Q5740654) (← links)
- Types for Proofs and Programs (Q5898177) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories (Q6612003) (← links)
- On planarity of graphs in homotopy type theory (Q6620019) (← links)
