Pages that link to "Item:Q3305624"
From MaRDI portal
The following pages link to Mathesis Universalis and Homotopy Type Theory (Q3305624):
Displaying 5 items.
- (Q3552042) (← links)
- Arithmetic universes and classifying toposes (Q4609242) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- Martin Hofmann’s contributions to type theory: Groupoids and univalence (Q5084306) (← links)
- Injective types in univalent mathematics (Q5156770) (← links)