depaiva-eades-jiang-2019-lambek-exchange:
  type: article
  title: On the {Lambek} {Calculus} with an {Exchange} {Modality}
  author:
  - Jiang, Jiaming
  - Eades III, Harley
  - name: Paiva
    given-name: Valeria
    prefix: de
  date: 2019
  page-range: 43-89
  url: https://arxiv.org/abs/1904.06847
  serial-number:
    arxiv: '1904.06847'
    doi: 10.4204/EPTCS.292.4
  parent:
    type: periodical
    title: Electronic Proceedings in Theoretical Computer Science
    volume: 292