TY - RPRT TI - Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study AU - Carlos Olarte AU - Elaine Pimentel PY - 2024 UR - https://arxiv.org/abs/2404.11445 ID - 2404.11445 ER -