Similar Items: Infinitary Combinatory Reduction Systems: Confluence
- Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
- A new coinductive confluence proof for infinitary lambda calculus
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- Finitary Simulation of Infinitary $beta$-Reduction via Taylor Expansion, and Applications
- A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
- Herbrand-Confluence