Similar Items: Global semantic typing for inductive and coinductive computing
- Totality for Mixed Inductive and Coinductive Types
- Bootstrapping Inductive and Coinductive Types in HasCASL
- 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
- Generic Trace Semantics via Coinduction