@article(Abramsky93,
 author       = {S. Abramsky},
 year         = {1993},
 title        = {{Computational Interpretations of Linear Logic}},
 journal      = {Theoretical Computer Science},
 volume       = {111},
 number       = {1{\&}2},
 pages        = {3--57},
 doi          = {10.1016/0304-3975(93)90181-R},
)
@article(Accattoli15,
 author       = {B. Accattoli},
 year         = {2015},
 title        = {{Proof nets and the call-by-value {$\lambda$}-calculus}},
 journal      = {Theoretical Computer Science},
 volume       = {606},
 pages        = {2--24},
 doi          = {10.1016/j.tcs.2015.08.006},
)
@inproceedings(AccattoliGuerrieri16,
 author       = {B. Accattoli and G. Guerrieri},
 year         = {2016},
 title        = {{Open Call-by-Value}},
 booktitle    = {{Programming Languages and Systems - 14th Asian Symposium ({APLAS} 2016)}},
 series       = {{Lecture Notes in Computer Science}},
 volume       = {10017},
 pages        = {206--226},
 doi          = {10.1007/978-3-319-47958-3_12},
)
@inproceedings(AccattoliGuerrieri18,
 author       = {B. Accattoli and G. Guerrieri},
 year         = {2018},
 title        = {Types of Fireballs},
 booktitle    = {Programming Languages and Systems - 16th Asian Symposium ({APLAS} 2018)},
 series       = {Lecture Notes in Computer Science},
 volume       = {11275},
 pages        = {45--66},
 doi          = {10.1007/978-3-030-02768-1\_3},
)
@book(Barendregt84,
 author       = {H. P. Barendregt},
 year         = {1984},
 title        = {{The Lambda Calculus: Its Syntax and Semantics}},
 series       = {{Studies in Logic and the Foundation of Mathematics}},
 volume       = {103},
 publisher    = {North-Holland},
 address      = {Amsterdam},
)
@inproceedings(BentonBiermanDePaivaHyland93,
 author       = {P. N. Benton and G. M. Bierman and {de Paiva}, V. and M. Hyland},
 year         = {1993},
 title        = {A Term Calculus for Intuitionistic Linear Logic},
 booktitle    = {Typed Lambda Calculi and Applications ({TLCA} '93)},
 series       = {Lecture Notes in Computer Science},
 volume       = {664},
 pages        = {75--90},
 doi          = {10.1007/BFb0037099},
)
@inproceedings(BentonWadler96,
 author       = {P. N. Benton and P. Wadler},
 year         = {1996},
 title        = {{Linear Logic, Monads and the Lambda Calculus}},
 booktitle    = {11th Annual {IEEE} Symposium on Logic in Computer Science (LICS '96)},
 pages        = {420--431},
 doi          = {10.1109/LICS.1996.561458},
)
@article(BucciarelliEhrhard99,
 author       = {A. Bucciarelli and T. Ehrhard},
 year         = {2001},
 title        = {{On phase semantics and denotational semantics: the exponentials}},
 journal      = {{Annals of Pure and Applied Logic}},
 volume       = {109},
 number       = {3},
 pages        = {205--241},
 doi          = {10.1016/S0168-0072(00)00056-7},
)
@phdthesis(Danos90,
 author       = {V. Danos},
 year         = {1990},
 title        = {{La Logique Lin{\'e}aire appliqu{\'e} {\`a} l{'}{\'e}tude de divers processus de normalisation (principalement du $\lambda$-calcul)}},
 school       = {Universit{\'e} Paris 7},
)
@article(DanosEhrhard08,
 author       = {V. Danos and T. Ehrhard},
 year         = {2011},
 title        = {{Probabilistic coherence spaces as a model of higher-order probabilistic computation}},
 journal      = {{Information and Computation}},
 volume       = {152},
 number       = {1},
 pages        = {111--137},
 doi          = {10.1016/j.ic.2011.02.001},
)
@article(Ehrhard93,
 author       = {T. Ehrhard},
 year         = {1993},
 title        = {Hypercoherences: {A} Strongly Stable Model of Linear Logic},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {3},
 number       = {4},
 pages        = {365--385},
 doi          = {10.1017/S0960129500000281},
)
@article(Ehrhard05,
 author       = {T. Ehrhard},
 year         = {2005},
 title        = {Finiteness spaces},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {15},
 number       = {4},
 pages        = {615--646},
 doi          = {10.1017/S0960129504004645},
)
@inproceedings(Ehrhard12,
 author       = {T. Ehrhard},
 year         = {2012},
 title        = {{Collapsing non-idempotent intersection types}},
 booktitle    = {{Computer Science Logic (CSL'12)}},
 series       = {LIPIcs},
 volume       = {16},
 pages        = {259--273},
 doi          = {10.4230/LIPIcs.CSL.2012.259},
)
@article(Ehrhard12bis,
 author       = {T. Ehrhard},
 year         = {2012},
 title        = {The Scott model of linear logic is the extensional collapse of its relational model},
 journal      = {Theoretical Computer Science},
 volume       = {424},
 pages        = {20--45},
 doi          = {10.1016/j.tcs.2011.11.027},
)
@inproceedings(Ehrhard16,
 author       = {T. Ehrhard},
 year         = {2016},
 title        = {{Call-By-Push-Value from a Linear Logic point of view}},
 booktitle    = {{Programming Languages and Systems - 25th European Symposium on Programming ({ESOP} 2016})},
 series       = {Lecture Notes in Computer Science},
 volume       = {9632},
 pages        = {202--228},
 doi          = {10.1007/978-3-662-49498-1\_9},
)
@inproceedings(EhrhardG16,
 author       = {T. Ehrhard and G. Guerrieri},
 year         = {2016},
 title        = {The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value},
 booktitle    = {Principles and Practice of Declarative Programming (PPDP'16)},
 publisher    = {{ACM}},
 pages        = {174--187},
 doi          = {10.1145/2967973.2968608},
)
@article(Girard87,
 author       = {{J.-Y.} Girard},
 year         = {1987},
 title        = {{Linear Logic}},
 journal      = {Theoretical Computer Science},
 volume       = {50},
 number       = {1},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@article(Laurent03,
 author       = {O. Laurent},
 year         = {2003},
 title        = {{Polarized proof-nets and $\lambda\mu $-calculus}},
 journal      = {Theoretical Computer Science},
 volume       = {290},
 number       = {1},
 pages        = {161--188},
 doi          = {10.1016/S0304-3975(01)00297-3},
)
@inproceedings(Levy99,
 author       = {P. B. Levy},
 year         = {1999},
 title        = {{Call-by-Push-Value: {A} Subsuming Paradigm}},
 booktitle    = {{Typed Lambda Calculi and Applications ({TLCA}'99)}},
 series       = {{Lecture Notes in Computer Science}},
 volume       = {1581},
 pages        = {228--242},
 doi          = {10.1007/3-540-48959-2_17},
)
@article(Levy06,
 author       = {P. B. Levy},
 year         = {2006},
 title        = {{Call-by-push-value: Decomposing call-by-value and call-by-name}},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {19},
 number       = {4},
 pages        = {377--414},
 doi          = {10.1007/s10990-006-0480-6},
)
@inproceedings(LincolnMitchell92,
 author       = {P. Lincoln and J. C. Mitchell},
 year         = {1992},
 title        = {{Operational aspects of linear lambda calculus}},
 booktitle    = {{Seventh Annual Symposium on Logic in Computer Science {(LICS} '92)}},
 pages        = {235--246},
 doi          = {10.1109/LICS.1992.185536},
)
@article(MaraistOderskyTurnerWadler99,
 author       = {J. Maraist and M. Odersky and D. N. Turner and P. Wadler},
 year         = {1999},
 title        = {{Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus}},
 journal      = {{Theoretical Computer Science}},
 volume       = {228},
 number       = {1-2},
 pages        = {175--210},
 doi          = {10.1016/S0304-3975(98)00358-2},
)
@incollection(Mellies09,
 author       = {P.-A. Melli{\`e}s},
 year         = {2009},
 title        = {{Categorical semantics of linear logic}},
 booktitle    = {{Interactive models of computation and program behaviour}},
 series       = {{Panoramas et Synth{\`e}ses}},
 volume       = {27},
 publisher    = {Soci{\'e}t{\'e} Math{\'e}matique de France},
 pages        = {1--196},
)
@inproceedings(Moggi89,
 author       = {E. Moggi},
 year         = {1989},
 title        = {{Computational Lambda-Calculus and Monads}},
 booktitle    = {{Fourth Annual Symposium on Logic in Computer Science {(LICS} '89)}},
 pages        = {14--23},
 doi          = {10.1109/LICS.1989.39155},
)
@article(Moggi91,
 author       = {E. Moggi},
 year         = {1991},
 title        = {{Notions of Computation and Monads}},
 journal      = {Information and Computation},
 volume       = {93},
 number       = {1},
 pages        = {55--92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@inproceedings(Pitts93,
 author       = {A. M. Pitts},
 year         = {1993},
 title        = {Computational Adequacy via ``Mixed'' Inductive Definitions},
 booktitle    = {Mathematical Foundations of Programming Semantics ({MFPS'93})},
 series       = {Lecture Notes in Computer Science},
 volume       = {802},
 pages        = {72--82},
 doi          = {10.1007/3-540-58027-1},
)
@article(Plotkin75,
 author       = {{G. D.} Plotkin},
 year         = {1975},
 title        = {{Call-by-name, call-by-value and the $\lambda$-calculus}},
 journal      = {{Theoretical Computer Science}},
 volume       = {1},
 number       = {2},
 pages        = {125--159},
 doi          = {10.1016/0304-3975(75)90017-1},
)
@article(PravatoRonchiRoversi99,
 author       = {A. Pravato and {Ronchi Della Rocca}, S. and L. Roversi},
 year         = {1999},
 title        = {The call-by-value $\lambda$-calculus: a semantic investigation},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {9},
 number       = {5},
 pages        = {617--650},
 doi          = {10.1017/S0960129598002722},
)
@phdthesis(Regnier92,
 author       = {L. Regnier},
 year         = {1992},
 title        = {{Lambda calcul et r{\'e}seaux}},
 school       = {Universit{\'e} Paris 7},
)
@article(RonchiRoversi97,
 author       = {Ronchi Della Rocca, S. and L. Roversi},
 year         = {1997},
 title        = {Lambda Calculus and Intuitionistic Linear Logic},
 journal      = {Studia Logica},
 volume       = {59},
 number       = {3},
 pages        = {417--448},
 doi          = {10.1023/A:1005092630115},
)
@inproceedings(DBLP:conf/rta/Simpson05,
 author       = {A. Simpson},
 year         = {2005},
 title        = {Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics},
 booktitle    = {Term Rewriting and Applications ({RTA} 2005)},
 series       = {Lecture Notes in Computer Science},
 volume       = {3467},
 pages        = {219--234},
 doi          = {10.1007/b135673},
)
@article(Takahashi95,
 author       = {M. Takahashi},
 year         = {1995},
 title        = {{Parallel Reductions in lambda-Calculus}},
 journal      = {Information and Computation},
 volume       = {118},
 number       = {1},
 pages        = {120--127},
 doi          = {10.1006/inco.1995.1057},
)