Similar Items: Compositional Confluence Criteria
- Herbrand-Confluence
- Decreasing Diagrams for Confluence and Commutation
- Infinitary Combinatory Reduction Systems: Confluence
- Algebraic coherent confluence and higher globular Kleene algebras
- Certifying Confluence Proofs via Relative Termination and Rule Labeling
- A new coinductive confluence proof for infinitary lambda calculus