cervesato-nd-a:
  type: article
  title: A linear logical framework
  author:
  - Cervesato, I.
  - Pfenning, F.
  page-range: 264-275
  url: http://dx.doi.org/10.1109/lics.1996.561339
  serial-number:
    doi: 10.1109/lics.1996.561339
  parent:
    type: proceedings
    title: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
    publisher: IEEE Comput. Soc. Press
    parent:
      type: proceedings
      title: LICS-96