@phdthesis(phdaccattoli,
 author       = "Beniamino Accattoli",
 year         = "2011",
 title        = "Jumping around the box: graphical and operational studies on $\lambda $-calculus and Linear Logic",
 type         = "Ph{D} thesis",
 school       = "\textit {La Sapienza} {U}niversity of {R}ome",
)
@misc(AccLinearity,
 author       = "Beniamino Accattoli",
 year         = "2012",
 title        = "A linear analysis of call-by-value $\lambda $-calculus",
 note         = "Available at the address \url {https://sites.google.com/site/beniaminoaccattoli/cbv-analysis.pdf?attredirects=0}",
)
@inproceedings(DBLP:conf/csl/AccattoliG09,
 author       = "Beniamino Accattoli and Stefano Guerrini",
 year         = "2009",
 title        = "Jumping Boxes",
 booktitle    = "CSL",
 pages        = "55--70",
 url          = "http://dx.doi.org/10.1007/978-3-642-04027-6_7",
)
@inproceedings(DBLP:conf/csl/AccattoliK10,
 author       = "Beniamino Accattoli and Delia Kesner",
 year         = "2010",
 title        = "The Structural $\lambda $-Calculus",
 booktitle    = "CSL",
 pages        = "381--395",
 url          = "http://dx.doi.org/10.1007/978-3-642-15205-4_30",
)
@inproceedings(DBLP:conf/flops/AccattoliP12,
 author       = "Beniamino Accattoli and Luca Paolini",
 year         = "2012",
 title        = "Call-by-Value Solvability, revisited",
 booktitle    = "FLOPS",
 pages        = "4--16",
 url          = "http://dx.doi.org/10.1007/978-3-642-29822-6_4",
)
@inproceedings(DBLP:conf/lics/CosmoK97,
 author       = "Roberto~Di Cosmo and Delia Kesner",
 year         = "1997",
 title        = "Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract)",
 booktitle    = "LICS",
 pages        = "35--46",
 url          = "http://doi.ieeecomputersociety.org/10.1109/LICS.1997.614927",
)
@article(DBLP:journals/mscs/CosmoKP03,
 author       = "Roberto~Di Cosmo and Delia Kesner and Emmanuel Polonovski",
 year         = "2003",
 title        = "Proof Nets And Explicit Substitutions",
 journal      = "Math. Str. in Comput. Sci.",
 volume       = "13",
 number       = "3",
 pages        = "409--450",
 url          = "http://dx.doi.org/10.1017/S0960129502003791",
)
@phdthesis(Danos:Thesis:90,
 author       = "Vincent Danos",
 year         = "1990",
 title        = "La Logique Lin\'eaire appliqu\'e \`a l'\'etude de divers processus de normalisation (principalment du $\lambda $-calcul)",
 type         = "Phd thesis",
 school       = "Universit{\'e} Paris 7",
)
@inproceedings(Danos95proof-netsand,
 author       = "Vincent Danos and Laurent Regnier",
 year         = "1995",
 title        = "Proof-nets and the {H}ilbert space",
 booktitle    = "Advances in Linear Logic",
 publisher    = "Cambridge University Press",
 pages        = "307--328",
 url          = "http://dx.doi.org/10.1017/CBO9780511629150.016",
)
@article(DBLP:journals/tcs/DanosR99,
 author       = "Vincent Danos and Laurent Regnier",
 year         = "1999",
 title        = "Reversible, Irreversible and Optimal lambda-Machines",
 journal      = "Theor. Comput. Sci.",
 volume       = "227",
 number       = "1-2",
 pages        = "79--97",
 url          = "http://dx.doi.org/10.1016/S0304-3975(99)00049-3",
)
@inproceedings(DBLP:conf/gg/FernandezM02,
 author       = "Maribel Fern{\'a}ndez and Ian Mackie",
 year         = "2002",
 title        = "Call-by-Value lambda-Graph Rewriting Without Rewriting",
 booktitle    = "ICGT",
 pages        = "75--89",
 url          = "http://dx.doi.org/10.1007/3-540-45832-8_8",
)
@inproceedings(DBLP:journals/corr/abs-1003-5515,
 author       = "Maribel Fern{\'a}ndez and Nikolaos Siafakas",
 year         = "2009",
 title        = "Labelled Lambda-calculi with Explicit Copy and Erase",
 booktitle    = "LINEARITY",
 pages        = "49--64",
 url          = "http://dx.doi.org/10.4204/EPTCS.22.5",
)
@inproceedings(DBLP:conf/pldi/FlanaganSDF93,
 author       = "Cormac Flanagan and Amr Sabry and Bruce~F. Duba and Matthias Felleisen",
 year         = "1993",
 title        = "The Essence of Compiling with Continuations",
 booktitle    = "PLDI",
 pages        = "237--247",
 url          = "http://doi.acm.org/10.1145/155090.155113",
)
@article(DBLP:journals/tcs/Girard87,
 author       = "Jean-Yves Girard",
 year         = "1987",
 title        = "Linear Logic",
 journal      = "Theoretical Computer Science",
 volume       = "50",
 pages        = "1--102",
 url          = "http://dx.doi.org/10.1016/0304-3975(87)90045-4",
)
@inproceedings(DBLP:conf/tlca/HerbelinZ09,
 author       = "Hugo Herbelin and St{\'e}phane Zimmermann",
 year         = "2009",
 title        = "An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form",
 booktitle    = "TLCA",
 pages        = "142--156",
 url          = "http://dx.doi.org/10.1007/978-3-642-02273-9_12",
)
@article(DBLP:journals/iandc/KesnerL07,
 author       = "Delia Kesner and St{\'e}phane Lengrand",
 year         = "2007",
 title        = "Resource operators for lambda-calculus",
 journal      = "Inf. Comput.",
 volume       = "205",
 number       = "4",
 pages        = "419--473",
 url          = "http://dx.doi.org/10.1016/j.ic.2006.08.008",
)
@inproceedings(DBLP:conf/tlca/Laurent99,
 author       = "Olivier Laurent",
 year         = "1999",
 title        = "Polarized Proof-Nets: Proof-Nets for LC",
 booktitle    = "TLCA",
 pages        = "213--227",
 url          = "http://dx.doi.org/10.1007/3-540-48959-2_16",
)
@phdthesis(phdlaurent,
 author       = "Olivier Laurent",
 year         = "2002",
 title        = "{\'E}tude de la polarisation en logique",
 type         = "Th\`ese de doctorat",
 school       = "{U}niversit\'e {A}ix-{M}arseille~{II}",
)
@article(DBLP:journals/tcs/Laurent03,
 author       = "Olivier Laurent",
 year         = "2003",
 title        = "Polarized proof-nets and $\lambda \mu $-calculus",
 journal      = "Theor. Comput. Sci.",
 volume       = "290",
 number       = "1",
 pages        = "161--188",
 url          = "http://dx.doi.org/10.1016/S0304-3975(01)00297-3",
)
@inproceedings(DBLP:conf/ifl/Mackie05,
 author       = "Ian Mackie",
 year         = "2005",
 title        = "Encoding Strategies in the Lambda Calculus with Interaction Nets",
 booktitle    = "IFL",
 pages        = "19--36",
 url          = "http://dx.doi.org/10.1007/11964681_2",
)
@article(DBLP:journals/tcs/MaraistOTW99,
 author       = "John Maraist and Martin Odersky and David~N. Turner and Philip Wadler",
 year         = "1999",
 title        = "Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus",
 journal      = "Theor. Comput. Sci.",
 volume       = "228",
 number       = "1-2",
 pages        = "175--210",
 url          = "http://dx.doi.org/10.1016/S0304-3975(98)00358-2",
)
@article(DBLP:journals/tcs/Plotkin75,
 author       = "Gordon~D. Plotkin",
 year         = "1975",
 title        = "Call-by-Name, Call-by-Value and the lambda-Calculus",
 journal      = "Theor. Comput. Sci.",
 volume       = "1",
 number       = "2",
 pages        = "125--159",
 url          = "http://dx.doi.org/10.1016/0304-3975(75)90017-1",
)
@article(DBLP:journals/mscs/PravatoRR99,
 author       = "Alberto Pravato and Simona Ronchi~Della Rocca and Luca Roversi",
 year         = "1999",
 title        = "The call-by-value $\lambda $-calculus: a semantic investigation",
 journal      = "Math. Str. in Comput. Sci.",
 volume       = "9",
 number       = "5",
 pages        = "617--650",
 url          = "http://dx.doi.org/10.1017/S0960129598002722",
)
@phdthesis(Reg:Thesis:92,
 author       = "Laurent Regnier",
 year         = "1992",
 title        = "Lambda-calcul et r{\'e}seaux",
 type         = "Ph{D} thesis",
 school       = "Univ. Paris VII",
)
@article(DBLP:journals/lisp/SabryF93,
 author       = "Amr Sabry and Matthias Felleisen",
 year         = "1993",
 title        = "Reasoning about Programs in Continuation-Passing Style",
 journal      = "Lisp and Symbolic Computation",
 volume       = "6",
 number       = "3-4",
 pages        = "289--360",
 url          = "http://dx.doi.org/10.1007/BF01019462",
)
@phdthesis(tranquillithesis,
 author       = "Paolo Tranquilli",
 year         = "2009",
 title        = "Nets Between Determinism and Nondeterminism",
 type         = "Ph.{D}. thesis",
 school       = "{U}niversit\`a degli {S}tudi {R}oma {T}re/{U}niversit\'e {P}aris {D}iderot ({P}aris 7)",
)
@article(DBLP:journals/tcs/Tranquilli11,
 author       = "Paolo Tranquilli",
 year         = "2011",
 title        = "Intuitionistic differential nets and lambda-calculus",
 journal      = "Theor. Comput. Sci.",
 volume       = "412",
 number       = "20",
 pages        = "1979--1997",
 url          = "http://dx.doi.org/10.1016/j.tcs.2010.12.022",
)
@phdthesis(phdvaux,
 author       = "Lionel Vaux",
 year         = "2007",
 title        = "$\lambda $-calcul diff\'erentiel et logique classique: interactions calculatoires",
 type         = "Ph.{D}. thesis",
 school       = "{U}niversit\'e {A}ix-{M}arseille~{II}",
)