Pages that link to "Item:Q1785779"

The following pages link to The homotopy theory of type theories (Q1785779):

Displaying 30 items.

• The role of compactification theory in the type problem (Q934308) (← links)
• Univalent completion (Q1659918) (← links)
• The symbol of type and the Wilson theorem (Q1941843) (← links)
• Homotopical inverse diagrams in categories with attributes (Q2207273) (← links)
• Characterizations of modalities and lex modalities (Q2229967) (← links)
• Homology groups of types in stable theories and the Hurewicz correspondence (Q2358628) (← links)
• Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
• Higher inductive types as homotopy-initial algebras (Q2819787) (← links)
• Homotopy Type Theory (Q2937385) (← links)
• Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
• Principal type-schemes and condensed detachment (Q3489979) (← links)
• The space of strong types and an open map theorem (Q4358831) (← links)
• Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
• Semantics of higher inductive types (Q4958656) (← links)
• Homotopy Type Theory: A synthetic approach to higher equalities (Q5040166) (← links)
• Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
• (Q5091148) (← links)
• Nilpotent types and fracture squares in homotopy type theory (Q5139290) (← links)
• Cellular Cohomology in Homotopy Type Theory (Q5145328) (← links)
• Lawvere-Tierney sheafification in Homotopy Type Theory (Q5195281) (← links)
• Modalities in homotopy type theory (Q5208873) (← links)
• Localization in Homotopy Type Theory (Q5217587) (← links)
• $L'$-localization in an $\infty$-topos (Q5220050) (← links)
• Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
• The Seifert-van Kampen Theorem in Homotopy Type Theory (Q5278408) (← links)
• Towards Constructive Homological Algebra in Type Theory (Q5428258) (← links)
• Types for Proofs and Programs (Q5898177) (← links)
• The Hurewicz theorem in homotopy type theory (Q6112530) (← links)
• A general framework for the semantics of type theory (Q6149910) (← links)
• Non-accessible localizations (Q6564515) (← links)