caires-2010-session:
  type: chapter
  title: Session Types as Intuitionistic Linear Propositions
  author:
  - Caires, Luís
  - Pfenning, Frank
  date: 2010
  page-range: 222-236
  url: http://dx.doi.org/10.1007/978-3-642-15375-4_16
  serial-number:
    doi: 10.1007/978-3-642-15375-4_16
    isbn: '9783642153754'
    issn: 1611-3349
  parent:
    type: book
    title: CONCUR 2010 - Concurrency Theory
    publisher: Springer Berlin Heidelberg