Similar Items: Unguarded Recursion on Coinductive Resumptions
- General Recursion via Coinductive Types
- Guarded and Unguarded Iteration for Generalized Processes
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- Applications of Metric Coinduction
- Foundations of regular coinduction
- Indexed Induction and Coinduction, Fibrationally