Pages that link to "Item:Q5739362"
From MaRDI portal
The following pages link to 2-Dimensional Directed Type Theory (Q5739362):
Displaying 9 items.
- Towards a directed homotopy type theory (Q2133175) (← links)
- A type theory for synthetic $\infty$-categories (Q3121017) (← links)
- Homotopical patch theory (Q5371976) (← links)
- (Q6079232) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)
- Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511) (← links)
- Transpension: the right adjoint to the Pi-type (Q6563063) (← links)
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories (Q6612003) (← links)
- Semantics for two-dimensional type theory (Q6649441) (← links)
