Algebraic coherent confluence and higher globular Kleene algebras

Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth. Algebraic coherent confluence and higher globular Kleene algebras. Logical Methods in Computer Science, 18(4), 2022. [doi]

Abstract

Abstract is missing.