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

https://hal.archives-ouvertes.fr/hal-03334734
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

File

abstractCoherence.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03334734, version 1

Citation

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⟩

Share

Metrics

Record views

52

Files downloads

49