TY  - RPRT
TI  - Cubical coherent confluence, $ω$-groupoids and the cube equation
AU  - Philippe Malbos
AU  - Tanguy Massacrier
AU  - Georg Struth
PY  - 2025
UR  - https://arxiv.org/abs/2511.16852
ID  - 2511.16852
ER  -