girard_linear_1987:
  type: article
  title: Linear logic
  author: Girard, Jean-Yves
  date: 1987
  page-range: 1-101
  url: https://www.sciencedirect.com/science/article/pii/0304397587900454
  serial-number:
    doi: https://doi.org/10.1016/0304-3975(87)90045-4
    issn: 0304-3975
  abstract: 'The familiar connective of negation is broken into two operations: linear negation which is the purely negative part of negation and the modality “of course” which has the meaning of a reaffirmation. Following this basic discovery, a completely new approach to the whole area between constructive logics and programmation is initiated.'
  parent:
    type: periodical
    title: Theoretical Computer Science
    issue: 1
    volume: 50