Similar Items: Coinductive Proof Principles for Stochastic Processes
- The Size-Change Principle for Mixed Inductive and Coinductive types
- From coinductive proofs to exact real arithmetic: theory and applications
- A new coinductive confluence proof for infinitary lambda calculus
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
- Applications of Metric Coinduction
- Foundations of regular coinduction