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

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 Journal metrics at Scopus Article at Scopus Article at WOS