Pages that link to "Item:Q3395310"
From MaRDI portal
The following pages link to Two-dimensional models of type theory (Q3395310):
Displaying 10 items.
- Martin-Löf complexes (Q385803) (← links)
- On the strength of dependent products in the type theory of Martin-Löf (Q1024547) (← links)
- The homotopy theory of type theories (Q1785779) (← links)
- Accessible aspects of 2-category theory (Q2200941) (← links)
- Homotopical inverse diagrams in categories with attributes (Q2207273) (← links)
- Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- Proof-Relevant Parametricity (Q3188282) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)
