Similar Items: The Size-Change Principle for Mixed Inductive and Coinductive types
- Totality for Mixed Inductive and Coinductive Types
- Bootstrapping Inductive and Coinductive Types in HasCASL
- Global semantic typing for inductive and coinductive computing
- Signatures and Induction Principles for Higher Inductive-Inductive Types
- Indexed Induction and Coinduction, Fibrationally
- Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types