fiore-2006-remarks:
  type: article
  title: Remarks on isomorphisms in typed lambda calculi with empty and sum types
  author:
  - Fiore, Marcelo
  - Di Cosmo, Roberto
  - Balat, Vincent
  date: 2006-08
  page-range: 35-50
  url: http://dx.doi.org/10.1016/j.apal.2005.09.001
  serial-number:
    doi: 10.1016/j.apal.2005.09.001
    issn: 0168-0072
  parent:
    type: periodical
    title: Annals of Pure and Applied Logic
    publisher: Elsevier BV
    issue: 1–2
    volume: 141