Similar Items: Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- Partial Order Infinitary Term Rewriting
- Modularity of Convergence and Strong Convergence in Infinitary Rewriting
- A new coinductive confluence proof for infinitary lambda calculus
- Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
- Infinitary Combinatory Reduction Systems: Confluence
- Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies