Linear logic

@article{linearlogic-tcs50,
   apice = {LinearlogicTcs50},
   author = {Girard, Jean-Yves},
   doi = {/10.1016/0304-3975(87)90045-4},
   issn = {0304-3975},
   journal = {Theoretical Computer Science},
   number = 1,
   numpages = 102,
   pages = {1--102},
   publisher = {North Holland, Amsterdam},
   title = {Linear logic},
   url = {https://www.sciencedirect.com/science/article/pii/0304397587900454},
   volume = 50,
   year = 1987
}