Similar Items: A new coinductive confluence proof for infinitary lambda calculus
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- Infinitary Combinatory Reduction Systems: Confluence
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- The Safe Lambda Calculus
- Coinductive Proof Principles for Stochastic Processes
- Ordered Models of the Lambda Calculus