Similar Items: Applications of Metric Coinduction
- From coinductive proofs to exact real arithmetic: theory and applications
- Foundations of regular coinduction
- Indexed Induction and Coinduction, Fibrationally
- Formal Languages, Formally and Coinductively
- Unguarded Recursion on Coinductive Resumptions
- An operational interpretation of coinductive types