ALGEBRAIC COHERENT CONFLUENCE AND HIGHER GLOBULAR KLEENE ALGEBRAS. - CALK, CAMERON; GOUBAULT, ERIC; MALBOS, PHILIPPE; STRUTH, GEORG (Logical Methods in Computer Science (LMCS), 2022)