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