@article(baillot,
 author       = {Patrick Baillot},
 year         = {2015},
 title        = {On the expressivity of elementary linear logic: {Characterizing} {Ptime} and an exponential time hierarchy},
 journal      = {Information and Computation},
 volume       = {241},
 pages        = {3--31},
 doi          = {10.1016/j.ic.2014.10.005},
)
@article(Benedetti,
 author       = {Patrick Baillot and De Benedetti, Erika and Ronchi Della Rocca, Simona},
 year         = {2018},
 title        = {Characterizing polynomial and exponential complexity classes in elementary lambda-calculus},
 journal      = {Information and Computation},
 volume       = {261},
 pages        = {55--77},
 doi          = {10.1016/j.ic.2018.05.005},
)
@inproceedings(Ghyselen,
 author       = {Patrick Baillot and Alexis Ghyselen},
 year         = {2018},
 title        = {Combining {Linear} {Logic} and {Size} {Types} for {Implicit} {Complexity}},
 booktitle    = {27th {EACSL} {Annual} {Conference} on {Computer} {Science} {Logic} ({CSL} 2018)},
 pages        = {9:1--9:21},
 doi          = {10.4230/LIPIcs.CSL.2018.9},
)
@inproceedings(CarraroGuerrieri,
 author       = {Alberto Carraro and Giulio Guerrieri},
 year         = {2014},
 title        = {A {Semantical} and {Operational} {Account} of {Call}-by-{Value} {Solvability}},
 booktitle    = {Foundations of {Software} {Science} and {Computation} {Structures} ({FoSSaCS}'14)},
 pages        = {103--118},
 doi          = {10.1007/978-3-642-54830-7_7},
)
@article(DalLagoBaillot,
 author       = {Dal Lago, Ugo and Patrick Baillot},
 year         = {2006},
 title        = {On light logics, uniform encodings and polynomial time},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {16},
 number       = {4},
 pages        = {713--733},
 doi          = {10.1017/S0960129506005421},
)
@article(DanosJoinet,
 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},
)
@article(Coppola,
 author       = {Della Rocca, Simona Ronchi and Ugo Dal Lago and Paolo Coppola},
 year         = {2008},
 title        = {Light {Logics} and the {Call}-by-{Value} {Lambda} {Calculus}},
 journal      = {Logical Methods in Computer Science},
 volume       = {Volume 4, Issue 4},
 doi          = {10.2168/LMCS-4(4:5)2008},
)
@article(siglog,
 author       = {Emmanuel Filiot and Pierre-Alain Reynier},
 year         = {2016},
 title        = {Transducers, {Logic} and {Algebra} for {Functions} of {Finite} {Words}},
 journal      = {ACM SIGLOG News},
 volume       = {3},
 number       = {3},
 pages        = {4--19},
 doi          = {10.1145/2984450.2984453},
)
@article(GirardELL,
 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},
)
@phdthesis(grellois,
 author       = {Charles Grellois},
 year         = {2016},
 title        = {Semantics of linear logic and higher-order model-checking},
 school       = {Universit\IeC{\'e} Denis Diderot Paris 7},
 url          = {https://tel.archives-ouvertes.fr/tel-01311150/},
)
@inproceedings(GrelloisMellies,
 author       = {Charles Grellois and Melli{\IeC{\`e}}s, Paul{-}Andr{\IeC{\'e}}},
 year         = {2015},
 title        = {Finitary Semantics of Linear Logic and Higher-Order Model-Checking},
 booktitle    = {Mathematical Foundations of Computer Science 2015 - 40th International Symposium, {MFCS} 2015},
 pages        = {256--268},
 doi          = {10.1007/978-3-662-48057-1_20},
)
@article(BangCalculus,
 author       = {Giulio Guerrieri and Giulio Manzonetto},
 year         = {2019},
 title        = {The {Bang} {Calculus} and the {Two} {Girard}'s {Translations}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {292},
 pages        = {15--30},
 doi          = {10.4204/EPTCS.292.2},
)
@phdthesis(HillebrandPhD,
 author       = {Gerd G. Hillebrand},
 year         = {1994},
 title        = {Finite {Model} {Theory} in the {Simply} {Typed} {Lambda} {Calculus}},
 school       = {Brown University},
 address      = {Providence, RI, USA},
)
@inproceedings(HillebrandKanellakis,
 author       = {Gerd G. Hillebrand and Paris C. Kanellakis},
 year         = {1996},
 title        = {On the {Expressive} {Power} of {Simply} {Typed} and {Let}-{Polymorphic} {Lambda} {Calculi}},
 booktitle    = {Proceedings of the 11th {Annual} {IEEE} {Symposium} on {Logic} in {Computer} {Science}},
 publisher    = {IEEE Computer Society},
 pages        = {253--263},
 doi          = {10.1109/LICS.1996.561337},
)
@article(FiniteMALL2,
 author       = {Nguy\~{\IeC{\^e}}n, L\IeC{\^e} Th\IeC{\`a}nh D\~ung},
 year         = {2019},
 title        = {Around finite second-order coherence spaces},
 journal      = {CoRR},
 volume       = {abs/1902.00196},
)
@inproceedings(sequel,
 author       = {Nguy\~{\IeC{\^e}}n, L\IeC{\^e} Th\IeC{\`a}nh D\~ung and Pierre Pradic},
 year         = {2019},
 title        = {From normal functors to logarithmic space queries},
 booktitle    = {46th {International} {Colloquium} on {Automata}, {Languages} and {Programming} ({ICALP}'19)},
 pages        = {123:1--123:15},
 doi          = {10.4230/LIPIcs.ICALP.2019.123},
)
@article(Regnier,
 author       = {Laurent Regnier},
 year         = {1994},
 title        = {Une \IeC{\'e}quivalence sur les lambda-termes},
 journal      = {Theoretical Computer Science},
 volume       = {126},
 number       = {2},
 pages        = {281--292},
 doi          = {10.1016/0304-3975(94)90012-4},
)
@inproceedings(Simpson,
 author       = {Alex Simpson},
 year         = {2005},
 title        = {Reduction in a {Linear} {Lambda}-{Calculus} with {Applications} to {Operational} {Semantics}},
 booktitle    = {16th {International} {Conference} on {Term} {Rewriting} and {Applications} ({RTA}'05)},
 pages        = {219--234},
 doi          = {10.1007/978-3-540-32033-3_17},
)
@inproceedings(TeruiSemantics,
 author       = {Kazushige Terui},
 year         = {2012},
 title        = {Semantic {Evaluation}, {Intersection} {Types} and {Complexity} of {Simply} {Typed} {Lambda} {Calculus}},
 booktitle    = {23rd {International} {Conference} on {Rewriting} {Techniques} and {Applications} ({RTA}'12)},
 pages        = {323--338},
 doi          = {10.4230/LIPIcs.RTA.2012.323},
)