Abstract strategies and coherence - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Abstract strategies and coherence

Résumé

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.
Fichier principal
Vignette du fichier
abstractCoherence.pdf (308.03 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03334734 , version 1 (04-09-2021)

Identifiants

Citer

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. pp.108-125, ⟨10.1007/978-3-030-88701-8_7⟩. ⟨hal-03334734⟩
87 Consultations
91 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More