Coherence via Focusing for Symmetric Skew Monoidal Categories

Niccolò Veltri. Coherence via Focusing for Symmetric Skew Monoidal Categories. In Alexandra Silva 0001, Renata Wassermann, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings. Volume 13038 of Lecture Notes in Computer Science, pages 184-200, Springer, 2021. [doi]

Bibliographies