Pages that link to "Item:Q1785779"
From MaRDI portal
The following pages link to The homotopy theory of type theories (Q1785779):
Displaying 12 items.
- Univalent completion (Q1659918) (← links)
- Homotopical inverse diagrams in categories with attributes (Q2207273) (← links)
- Characterizations of modalities and lex modalities (Q2229967) (← links)
- Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
- Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
- Semantics of higher inductive types (Q4958656) (← links)
- (Q5091148) (← links)
- Nilpotent types and fracture squares in homotopy type theory (Q5139290) (← links)
- Localization in Homotopy Type Theory (Q5217587) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- The Hurewicz theorem in homotopy type theory (Q6112530) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
