TY  - RPRT
TI  - Algebraic coherent confluence and higher globular Kleene algebras
AU  - Cameron Calk
AU  - Eric Goubault
AU  - Philippe Malbos
AU  - Georg Struth
PY  - 2022
DO  - 10.46298/lmcs-18(4:9)2022
UR  - https://arxiv.org/abs/2006.16129
ID  - 2006.16129
ER  -