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