Pages that link to "Item:Q3177878"
From MaRDI portal
The following pages link to Homotopy-Initial Algebras in Type Theory (Q3177878):
Displaying 5 items.
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- Semantics of higher inductive types (Q4958656) (← links)
- W-types in setoids (Q5155691) (← links)
- Every Elementary Higher Topos has a Natural Number Object (Q5858943) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
