Pages that link to "Item:Q2819787"
From MaRDI portal
The following pages link to Higher inductive types as homotopy-initial algebras (Q2819787):
Displaying 14 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)
- Semantics of higher inductive types (Q4958656) (← 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)
- Greatest HITs: higher inductive types in coinductive definitions via induction under clocks (Q6649477) (← links)