Coherence via Focusing for Symmetric Skew Monoidal Categories.

Niccol Veltri

Browse the full WoLLIC paper archive.