The following pages link to (Q5111175):
Displaying 6 items.
- Vladimir Aleksandrovich Voevodsky (Q4558118) (← links)
- Categorical structures for type theory in univalent foundations (Q4683858) (← links)
- (Q5031679) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- Displayed Categories (Q5111300) (← links)
- Injective types in univalent mathematics (Q5156770) (← links)