 |
Free and accessible knowledge |
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.
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
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)