Pages that link to "Item:Q2933829"
From MaRDI portal
The following pages link to Homotopy type theory and Voevodsky’s univalent foundations (Q2933829):
Displaying 8 items.
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- A meaning explanation for HoTT (Q2054122) (← links)
- Topological model of neural information networks (Q2117913) (← links)
- Observability in the univalent universe (Q2675950) (← links)
- Formal Universes (Q2945710) (← links)
- Idempotents in intensional type theory (Q2974780) (← links)
- A univalent formalization of the <i>p</i>-adic numbers (Q5740654) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
