@article{depaiva-eades-jiang-2019-lambek-exchange,
 title = {On the {Lambek} {Calculus} with an {Exchange} {Modality}},
 author = {Jiang, Jiaming and Eades III, Harley and de Paiva, Valeria},
 year = {2019},
 eprint = {1904.06847},
 archiveprefix = {arXiv},
 primaryclass = {cs.LO},
 url = {https://arxiv.org/abs/1904.06847},
 journal = {Electronic Proceedings in Theoretical Computer Science},
 volume = {292},
 pages = {43--89},
 doi = {10.4204/EPTCS.292.4}
}