@misc{W2911865844,
  author = {Jean-Yves Girard},
  title = {Linear logic},
  year = {1987},
  howpublished = {Theoretical Computer Science},
  doi = {https://doi.org/10.1016/0304-3975(87)90045-4}
}