@article(asperti,
 author       = {Andrea Asperti},
 year         = {1995},
 title        = {Linear Logic, Comonads and Optimal Reduction},
 journal      = {Fundamenta Informaticae},
 volume       = {22},
 number       = {1--2},
 pages        = {3--22},
 doi          = {10.3233/FI-1995-22121},
)
@article(l3,
 author       = {Patrick Baillot and Damiano Mazza},
 year         = {2010},
 title        = {Linear Logic by Levels and Bounded Time Complexity},
 journal      = {Theoretical Computer Science},
 volume       = {411},
 number       = {2},
 pages        = {470--503},
 doi          = {10.1016/j.tcs.2009.09.015},
)
@article(stratll,
 author       = {Pierre Boudes and Damiano Mazza and Tortora de Falco, Lorenzo},
 year         = {2015},
 title        = {An abstract approach to stratification in linear logic},
 journal      = {Information and Computation},
 volume       = {241},
 pages        = {32--61},
 doi          = {10.1016/j.ic.2014.10.006},
)
@inproceedings(llcoeffects,
 author       = {Flavien Breuvart and Michele Pagani},
 year         = {2015},
 title        = {Modelling Coeffects in the Relational Semantics of Linear Logic},
 editor       = {Stephan Kreutzer},
 booktitle    = {24th {EACSL} Annual Conference on Computer Science Logic (CSL)},
 series       = {LIPIcs},
 volume       = {41},
 publisher    = {Schloss Dagstuhl},
 pages        = {567--581},
 doi          = {10.4230/LIPIcs.CSL.2015.567},
)
@inproceedings(undecidsubexp,
 author       = {Kaustuv Chaudhuri},
 year         = {2014},
 title        = {Undecidability of Multiplicative Subexponential Logic},
 editor       = {Sandra Alves and Iliano Cervesato},
 booktitle    = {Proceedings Third International Workshop on Linearity},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {176},
 pages        = {1--8},
 doi          = {10.4204/EPTCS.176.1},
)
@article(djell,
 author       = {Vincent Danos and Jean-Baptiste Joinet},
 year         = {2003},
 title        = {Linear logic and elementary time},
 journal      = {Information and Computation},
 volume       = {183},
 number       = {1},
 pages        = {123--137},
 doi          = {10.1016/S0890-5401(03)00010-5},
)
@inproceedings(structexp,
 author       = {Vincent Danos and Jean-Baptiste Joinet and Harold Schellinx},
 year         = {1993},
 title        = {The structure of exponentials: uncovering the dynamics of linear logic proofs},
 editor       = {G. Gottlob and A. Leitsch and D. Mundici},
 booktitle    = {Computational Logic and Proof Theory},
 series       = {Lecture Notes in Computer Science},
 volume       = {713},
 publisher    = {Springer},
 pages        = {159--171},
 doi          = {10.1007/BFb0022564},
)
@article(ll,
 author       = {Jean-Yves Girard},
 year         = {1987},
 title        = {Linear logic},
 journal      = {Theoretical Computer Science},
 volume       = {50},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@article(lll,
 author       = {Jean-Yves Girard},
 year         = {1998},
 title        = {Light Linear Logic},
 journal      = {Information and Computation},
 volume       = {143},
 number       = {2},
 pages        = {175--204},
 doi          = {10.1006/inco.1998.2700},
)
@article(locus,
 author       = {Jean-Yves Girard},
 year         = {2001},
 title        = {Locus Solum: From the rules of logic to the logic of rules},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {11},
 number       = {3},
 pages        = {301--506},
 doi          = {10.1017/S096012950100336X},
)
@article(bll,
 author       = {Jean-Yves Girard and Andre Scedrov and Philip J. Scott},
 year         = {1992},
 title        = {Bounded Linear Logic: a modular approach to polynomial time computability},
 journal      = {Theoretical Computer Science},
 volume       = {97},
 pages        = {1--66},
 doi          = {10.1016/0304-3975(92)90386-T},
)
@article(sll,
 author       = {Yves Lafont},
 year         = {2004},
 title        = {Soft Linear Logic and Polynomial Time},
 journal      = {Theoretical Computer Science},
 volume       = {318},
 number       = {1--2},
 pages        = {163--180},
 doi          = {10.1016/j.tcs.2003.10.018},
)
@misc(yalla,
 author       = {Olivier Laurent},
 year         = {2020},
 title        = {{Yet Another deep embedding of Linear Logic in Coq}},
 url          = {https://perso.ens-lyon.fr/olivier.laurent/yalla/},
)
@inproceedings(subexp,
 author       = {Vivek Nigam and Dale Miller},
 year         = {2009},
 title        = {Algorithmic specifications in linear logic with subexponentials},
 editor       = {Ant{\'o}nio Porto and L{\'o}pez-Fraguas, Francisco Javier},
 booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming (PPDP)},
 pages        = {129--140},
 doi          = {10.1145/1599410.1599427},
)
@article(snll,
 author       = {Michele Pagani and Tortora de Falco, Lorenzo},
 year         = {2010},
 title        = {Strong normalization property for second order linear logic},
 journal      = {Theoretical Computer Science},
 volume       = {411},
 number       = {2},
 pages        = {410--444},
 doi          = {10.1016/j.tcs.2009.07.053},
)