@Inproceedings{EPTCS292.4,
  author    = {Jiang, Jiaming and Eades, III, Harley and de Paiva, Valeria},
  year      = {2019},
  title     = {On the Lambek Calculus with an Exchange Modality},
  editor    = {Ehrhard, Thomas and Fern\'andez, Maribel and Paiva, Valeria de and Tortora de Falco, Lorenzo },
  booktitle = {{\rm Proceedings Joint International Workshop on}
               Linearity \& Trends in Linear Logic and Applications,
               {\rm Oxford, UK, 7-8 July 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {292},
  publisher = {Open Publishing Association},
  pages     = {43-89},
  doi       = {10.4204/EPTCS.292.4},
}