Similar Items: Signatures and Induction Principles for Higher Inductive-Inductive Types
- Quotients, inductive types, and quotient inductive types
- Constructing Higher Inductive Types as Groupoid Quotients
- The Size-Change Principle for Mixed Inductive and Coinductive types
- Refining Inductive Types
- Totality for Mixed Inductive and Coinductive Types
- Bootstrapping Inductive and Coinductive Types in HasCASL