TY - RPRT TI - Polygraphs and Discrete Conduch{é} $ω$-Functors AU - Léonard Guetta PY - 2020 UR - https://arxiv.org/abs/1812.05332 ID - 1812.05332 ER -