@inproceedings{depaiva2018-dialectica-lambek,
 title = {Dialectica {Categories} for the {Lambek} {Calculus}},
 author = {de Paiva, Valeria and Eades III, Harley},
 year = {2018},
 eprint = {1801.06883},
 archiveprefix = {arXiv},
 primaryclass = {cs.LO},
 url = {https://arxiv.org/abs/1801.06883},
 booktitle = {Logical Foundations of Computer Science (LFCS 2018)},
 series = {Lecture Notes in Computer Science},
 volume = {10703},
 publisher = {Springer},
 doi = {10.1007/978-3-319-72056-2_16}
}

depaiva2018-dialectica-lambek:
  type: article
  title: Dialectica {Categories} for the {Lambek} {Calculus}
  author:
  - name: Paiva
    given-name: Valeria
    prefix: de
  - Eades III, Harley
  date: 2018
  url: https://arxiv.org/abs/1801.06883
  serial-number:
    arxiv: '1801.06883'
    doi: 10.1007/978-3-319-72056-2_16
  parent:
    type: proceedings
    title: Logical Foundations of Computer Science (LFCS 2018)
    publisher: Springer
    volume: 10703
    parent:
      type: proceedings
      title: Lecture Notes in Computer Science