@inproceedings{bf885df435a144dab823cf456a56b957,
title = "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.",
keywords = "Coherence, Formalisation, Higher-dimensional rewriting, Kleene algebras, Normalisation strategies",
author = "Cameron Calk and Eric Goubault and Philippe Malbos",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021 ; Conference date: 02-11-2021 Through 05-11-2021",
year = "2021",
month = jan,
day = "1",
doi = "10.1007/978-3-030-88701-8\_7",
language = "English",
isbn = "9783030887001",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "108--125",
editor = "Uli Fahrenberg and Mai Gehrke and Luigi Santocanale and Michael Winter",
booktitle = "Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings",
}