Pages that link to "Item:Q5241229"
From MaRDI portal
The following pages link to UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY (Q5241229):
Displaying 7 items.
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- (Q4283245) (← links)
- Categorical structures for type theory in univalent foundations (Q4683858) (← links)
- Naive cubical type theory (Q5055495) (← links)
- (Q5111175) (← links)
- Injective types in univalent mathematics (Q5156770) (← links)
- Representation and Spacetime: The Hole Argument Revisited (Q6117147) (← links)