The Sequent Calculus of Skew Monoidal Categories

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger. The Sequent Calculus of Skew Monoidal Categories. Electronic Notes in Theoretical Computer Science, 341:345-370, 2018. [doi]

Abstract

Abstract is missing.