The following pages link to cart-cube (Q46473):
Displaying 10 items.
- (Q50467) (redirect page) (← links)
- Models of type theory based on Moore paths (Q4611383) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- Internal universes in models of homotopy type theory (Q4993352) (← links)
- Model structure on the universe of all types in interval type theory (Q5022925) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- Naive cubical type theory (Q5055495) (← links)
- Cartesian cubical computational type theory: Constructive reasoning with paths and equalities (Q5079726) (← links)
- Constructive sheaf models of type theory (Q5084309) (← links)