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