@incollection{uustalu-2020-the,
  author = {Tarmo Uustalu and Niccolò Veltri and Noam Zeilberger},
  title = {The Sequent Calculus of Skew Monoidal Categories},
  booktitle = {Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics},
  publisher = {Springer International Publishing},
  year = {2021},
  month = {3},
  pages = {377--406},
  doi = {10.1007/978-3-030-66545-6_11}
}