Similar Items: Herbrand-Confluence
- Inter-procedural Two-Variable Herbrand Equalities
- Compositional Confluence Criteria
- Decreasing Diagrams for Confluence and Commutation
- Infinitary Combinatory Reduction Systems: Confluence
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
- Algebraic coherent confluence and higher globular Kleene algebras