seely89:
  type: anthos
  title: Linear logic, {}$*${}-autonomous categories and cofree coalgebras
  author: Seely, R. A. G.
  date: 1989
  page-range: 371-382
  url: https://doi.org/10.1090/conm/092/1003210
  serial-number:
    doi: 10.1090/conm/092/1003210
    isbn: 0-8218-5100-4
  parent:
    type: anthology
    title: Categories in computer science and logic ({B}oulder, {CO}, 1987)
    publisher: Amer. Math. Soc., Providence, RI
    volume: 92
    parent:
      type: anthology
      title: Contemp. Math.