Pages that link to "Item:Q2986785"
From MaRDI portal
The following pages link to Inductive Types in Homotopy Type Theory (Q2986785):
Displayed 8 items.
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- What inductive explanations could not be (Q2219138) (← links)
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- Some Wellfounded Trees in UniMath (Q2819193) (← links)
- Partiality, Revisited (Q2988390) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- (Q4989403) (← links)