Pages that link to "Item:Q3193040"
From MaRDI portal
The following pages link to Voevodsky’s Univalence Axiom in Homotopy Type Theory (Q3193040):
Displaying 6 items.
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- Idempotents in intensional type theory (Q2974780) (← links)
- Multisets in type theory (Q4958648) (← links)
- UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY (Q5241229) (← links)
- A univalent formalization of the <i>p</i>-adic numbers (Q5740654) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
