Similar Items: Refining Inductive Types
- Quotients, inductive types, and quotient inductive types
- Signatures and Induction Principles for Higher Inductive-Inductive Types
- A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
- Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
- Totality for Mixed Inductive and Coinductive Types
- Bootstrapping Inductive and Coinductive Types in HasCASL