Similar Items: Bootstrapping Inductive and Coinductive Types in HasCASL
- Totality for Mixed Inductive and Coinductive Types
- Global semantic typing for inductive and coinductive computing
- The Size-Change Principle for Mixed Inductive and Coinductive types
- 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