Pages that link to "Item:Q5874200"
From MaRDI portal
The following pages link to Unifying Cubical Models of Univalent Type Theory (Q5874200):
Displaying 7 items.
- Model structures on categories of models of type theories (Q4961720) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- Simplicial sets inside cubical sets (Q5858940) (← links)
- Induced model structures for higher categories (Q5869779) (← links)
- Finitary type theories with and without contexts (Q6053849) (← links)
- Transpension: the right adjoint to the Pi-type (Q6563063) (← links)
