Similar Items: General Recursion via Coinductive Types
- Unguarded Recursion on Coinductive Resumptions
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- An operational interpretation of coinductive types
- Totality for Mixed Inductive and Coinductive Types
- Generic Trace Semantics via Coinduction
- Bootstrapping Inductive and Coinductive Types in HasCASL