Coherence via focusing for symmetric skew monoidal and symmetric skew closed categoriesVeltri, NiccoloJournal of logic and computation2024 / art. exae059, 26 p https://doi.org/10.1093/logcom/exae059

Coherence via focusing for symmetric skew monoidal categoriesVeltri, NiccoloLogic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings2021 / p. 184-200 https://doi.org/10.1007/978-3-030-88853-4_12 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS