The sequent calculus of skew monoidal categories (extended version)

Tarmo Uustalu (1, 2) , Niccolò Veltri (2) , Noam Zeilberger (3, 4)

1 School of Computer Science [Reykjavik]
2 TTÜ - Tallinn University of Technology
3 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
4 PARTOUT - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion

Domaines: Logique en informatique [cs.LO]; Catégories et ensembles [math.CT]

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger. The sequent calculus of skew monoidal categories (extended version). C. Casadio; P. J. Scott. Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, Springer, inPress, Outstanding Contributions to Logic. ⟨hal-03031139⟩