Skip to Main content Skip to Navigation
Conference papers

Abstract strategies and coherence

Abstract : Normalisation strategies give a categorical interpretation of the notion of contracting homotopy via confluent and terminating rewriting. This approach relates standardisation to coherence results in the context of higher-dimensional rewriting systems. On the other hand, globular 2-Kleene algebras provide a formal setting for reasoning about coherence proofs in abstract rewriting systems. In this setting, we formalise the notion of normalisation strategy and we prove a formal coherence theorem for convergent abstract rewriting systems.
Complete list of metadata
Contributor : Philippe Malbos Connect in order to contact the contributor
Submitted on : Saturday, September 4, 2021 - 11:25:07 PM
Last modification on : Tuesday, April 26, 2022 - 2:00:02 AM
Long-term archiving on: : Sunday, December 5, 2021 - 6:12:56 PM


Files produced by the author(s)


  • HAL Id : hal-03334734, version 1


Cameron Calk, Eric Goubault, Philippe Malbos. Abstract strategies and coherence. 19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, Nov 2021, Marseille, France. ⟨hal-03334734⟩



Record views


Files downloads