Pages that link to "Item:Q4635920"
From MaRDI portal
The following pages link to Constructions with Non-Recursive Higher Inductive Types (Q4635920):
Displaying 6 items.
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
- Semantics of higher inductive types (Q4958656) (← links)
- (Q4989403) (← links)
- A Syntax for Higher Inductive-Inductive Types (Q4993350) (← links)
- (Q5216301) (← links)