Éric Goubault

Algebraic coherent confluence and higher globular Kleene algebras

2022 · Logical Methods in Computer Science

We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleene algebra, a higher-dimensional generalisation of modal and concurrent …