Similar Items: Quotients, inductive types, and quotient inductive types
- Constructing Higher Inductive Types as Groupoid Quotients
- Quotients of Bounded Natural Functors
- Signatures and Induction Principles for Higher Inductive-Inductive Types
- Refining Inductive Types
- Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
- Totality for Mixed Inductive and Coinductive Types