Pages that link to "Item:Q2819787"
From MaRDI portal
The following pages link to Higher Inductive Types as Homotopy-Initial Algebras (Q2819787):
Displayed 12 items.
- Construction of the circle in \textit{UniMath} (Q2031555) (← links)
- Finitary higher inductive types in the groupoid model (Q2130587) (← links)
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- What inductive explanations could not be (Q2219138) (← links)
- Partiality, Revisited (Q2988390) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- (Q4989403) (← links)
- A Syntax for Higher Inductive-Inductive Types (Q4993350) (← links)
- (Q5094144) (← links)
- (Q5216301) (← links)
- A class of higher inductive types in Zermelo‐Fraenkel set theory (Q6094139) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)