@article{girard_linear_1987,
 title = {Linear logic},
 author = {Girard, Jean-Yves},
 year = {1987},
 doi = {https://doi.org/10.1016/0304-3975(87)90045-4},
 url = {https://www.sciencedirect.com/science/article/pii/0304397587900454},
 journal = {Theoretical Computer Science},
 volume = {50},
 number = {1},
 pages = {1--101},
 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.},
 issn = {0304-3975}
}