@article(DBLP:journals/tcs/Abramsky93,
 author       = "Samson Abramsky",
 year         = "1993",
 title        = "Computational Interpretations of Linear Logic",
 journal      = "Theor. Comput. Sci.",
 volume       = "111",
 number       = "1{\&}2",
 pages        = "3--57",
 url          = "http://dx.doi.org/10.1016/0304-3975(93)90181-R",
)
@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",
)
@inproceedings(DBLP:conf/rta/Accattoli12,
 author       = "Beniamino Accattoli",
 year         = "2012",
 title        = "An Abstract Factorization Theorem for Explicit Substitutions",
 booktitle    = "RTA",
 pages        = "6--21",
 url          = "http://dx.doi.org/10.4230/LIPIcs.RTA.2012.6",
)
@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/Accattoli-Alinearanalysisofcall-by-valuelambdacalculus.pdf?attredirects=0}",
)
@misc(AccLSFA,
 author       = "Beniamino Accattoli",
 year         = "2012",
 title        = "Proof nets and the call-by-value $\lambda $-calculus",
 howpublished = "LSFA 2012",
 note         = "Available at the address \url {https://sites.google.com/site/beniaminoaccattoli/Accattoli-Proofnetsandthecallbyvaluelambdacalculus.pdf?attredirects=0}",
)
@inproceedings(DBLP:conf/cpp/Accattoli12,
 author       = "Beniamino Accattoli",
 year         = "2012",
 title        = "Proof Pearl: Abella Formalization of $\lambda $-Calculus Cube Property",
 booktitle    = "CPP",
 pages        = "173--187",
 url          = "http://dx.doi.org/10.1007/978-3-642-35308-6_15",
)
@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/rta/AccattoliL12,
 author       = "Beniamino Accattoli and Ugo~Dal Lago",
 year         = "2012",
 title        = "On the Invariance of the Unitary Cost Model for Head Reduction",
 booktitle    = "RTA",
 pages        = "22--37",
 url          = "http://dx.doi.org/10.4230/LIPIcs.RTA.2012.22",
)
@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",
)
@article(DBLP:journals/entcs/Beffara06,
 author       = "Emmanuel Beffara",
 year         = "2006",
 title        = "A Concurrent Model for Linear Logic",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "155",
 pages        = "147--168",
 url          = "http://dx.doi.org/10.1016/j.entcs.2005.11.055",
)
@article(DBLP:journals/tcs/BellinS94,
 author       = "Gianluigi Bellin and Philip~J. Scott",
 year         = "1994",
 title        = "On the pi-Calculus and Linear Logic",
 journal      = "Theor. Comput. Sci.",
 volume       = "135",
 number       = "1",
 pages        = "11--65",
 url          = "http://dx.doi.org/10.1016/0304-3975(94)00104-9",
)
@article(DBLP:journals/lisp/Boudol98,
 author       = "G{\'e}rard Boudol",
 year         = "1998",
 title        = "The $\pi $-Calculus in Direct Style",
 journal      = "Higher-Order and Symbolic Computation",
 volume       = "11",
 number       = "2",
 pages        = "177--208",
 url          = "http://dx.doi.org/10.1023/A:1010064516533",
)
@article(DBLP:journals/iandc/BoudolL96,
 author       = "G{\'e}rard Boudol and Cosimo Laneve",
 year         = "1996",
 title        = "The Discriminating Power of Multiplicities in the Lambda-Calculus",
 journal      = "Inf. Comput.",
 volume       = "126",
 number       = "1",
 pages        = "83--102",
 url          = "http://dx.doi.org/10.1006/inco.1996.0037",
)
@inproceedings(DBLP:conf/concur/CairesP10,
 author       = "Lu\'{\i }s Caires and Frank Pfenning",
 year         = "2010",
 title        = "Session Types as Intuitionistic Linear Propositions",
 booktitle    = "CONCUR",
 pages        = "222--236",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_16",
)
@inproceedings(DBLP:conf/tgc/CiminiCS10,
 author       = "Matteo Cimini and Claudio~Sacerdoti Coen and Davide Sangiorgi",
 year         = "2010",
 title        = "Functions as Processes: Termination and the $\lambda \mu \mathaccentV {tilde}07E{\mu }$-Calculus",
 booktitle    = "TGC",
 pages        = "73--86",
 url          = "http://dx.doi.org/10.1007/978-3-642-15640-3_5",
)
@inproceedings(DBLP:conf/fossacs/Clairambault11,
 author       = "Pierre Clairambault",
 year         = "2011",
 title        = "Estimation of the Length of Interactions in Arena Game Semantics",
 booktitle    = "FOSSACS",
 pages        = "335--349",
 url          = "http://dx.doi.org/10.1007/978-3-642-19805-2_23",
)
@inproceedings(DBLP:conf/lics/DanosHR96,
 author       = "Vincent Danos and Hugo Herbelin and Laurent Regnier",
 year         = "1996",
 title        = "Game Semantics {\&} Abstract Machines",
 booktitle    = "LICS",
 pages        = "394--405",
 url          = "http://doi.ieeecomputersociety.org/10.1109/LICS.1996.561456",
)
@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",
)
@techreport(Danos04headlinear,
 author       = "Vincent Danos and Laurent Regnier",
 year         = "2004",
 title        = "Head Linear Reduction",
 type         = "Technical Report",
)
@inproceedings(DBLP:conf/csl/DeYoungCPT12,
 author       = "Henry DeYoung and Lu\'{\i }s Caires and Frank Pfenning and Bernardo Toninho",
 year         = "2012",
 title        = "Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication",
 booktitle    = "CSL",
 pages        = "228--242",
 url          = "http://dx.doi.org/10.4230/LIPIcs.CSL.2012.228",
)
@inproceedings(DBLP:conf/csl/Ehrhard12,
 author       = "Thomas Ehrhard",
 year         = "2012",
 title        = "Collapsing non-idempotent intersection types",
 booktitle    = "CSL",
 pages        = "259--273",
 url          = "http://dx.doi.org/10.4230/LIPIcs.CSL.2012.259",
)
@article(DBLP:journals/iandc/EhrhardL10,
 author       = "Thomas Ehrhard and Olivier Laurent",
 year         = "2010",
 title        = "Interpreting a finitary pi-calculus in differential interaction nets",
 journal      = "Inf. Comput.",
 volume       = "208",
 number       = "6",
 pages        = "606--633",
 url          = "http://dx.doi.org/10.1016/j.ic.2009.06.005",
)
@inproceedings(DBLP:conf/cie/EhrhardR06,
 author       = "Thomas Ehrhard and Laurent Regnier",
 year         = "2006",
 title        = "B{\"o}hm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms",
 booktitle    = "CiE",
 pages        = "186--197",
 url          = "http://dx.doi.org/10.1007/11780342_20",
)
@inproceedings(DBLP:conf/cade/Gacek08,
 author       = "Andrew Gacek",
 year         = "2008",
 title        = "The {A}bella Interactive Theorem Prover (System Description)",
 booktitle    = "IJCAR",
 pages        = "154--161",
 url          = "http://dx.doi.org/10.1007/978-3-540-71070-7_13",
)
@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",
)
@article(DBLP:journals/tcs/HondaL10,
 author       = "Kohei Honda and Olivier Laurent",
 year         = "2010",
 title        = "An exact correspondence between a typed pi-calculus and polarised proof-nets",
 journal      = "Theor. Comput. Sci.",
 volume       = "411",
 number       = "22-24",
 pages        = "2223--2238",
 url          = "http://dx.doi.org/10.1016/j.tcs.2010.01.028",
)
@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/MascariP94,
 author       = "Gianfranco Mascari and Marco Pedicini",
 year         = "1994",
 title        = "Head Linear Reduction and Pure Proof Net Extraction",
 journal      = "Theor. Comput. Sci.",
 volume       = "135",
 number       = "1",
 pages        = "111--137",
 url          = "http://dx.doi.org/10.1016/0304-3975(94)90263-1",
)
@unpublished(mazzalinhead,
 author       = "Damiano Mazza",
 year         = "2003",
 title        = "Pi et Lambda. {U}ne {\'e}tude sur la traduction des lambda-termes dans le pi-calcul",
 note         = "Memoire de DEA (in french)",
)
@inproceedings(DBLP:conf/elp/Miller92,
 author       = "Dale Miller",
 year         = "1992",
 title        = "The pi-Calculus as a Theory in Linear Logic: Preliminary Results",
 booktitle    = "ELP",
 pages        = "242--264",
 url          = "http://dx.doi.org/10.1007/3-540-56454-3_13",
)
@article(DBLP:journals/tocl/TiuM10,
 author       = "Dale Miller and Alwen Tiu",
 year         = "2010",
 title        = "Proof search specifications of bisimulation and modal logics for the $\pi $-calculus",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "11",
 number       = "2",
 url          = "http://doi.acm.org/10.1145/1656242.1656248",
)
@article(DBLP:journals/mscs/Milner92,
 author       = "Robin Milner",
 year         = "1992",
 title        = "Functions as Processes",
 journal      = "Math. Str. in Comput. Sci.",
 volume       = "2",
 number       = "2",
 pages        = "119--141",
 url          = "http://dx.doi.org/10.1017/S0960129500001407",
)
@article(DBLP:journals/entcs/Milner07,
 author       = "Robin Milner",
 year         = "2007",
 title        = "Local Bigraphs and Confluence: Two Conjectures",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "175",
 number       = "3",
 pages        = "65--73",
 url          = "http://dx.doi.org/10.1016/j.entcs.2006.07.035",
)
@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/iandc/Sangiorgi94,
 author       = "Davide Sangiorgi",
 year         = "1994",
 title        = "The Lazy Lambda Calculus in a Concurrency Scenario",
 journal      = "Inf. Comput.",
 volume       = "111",
 number       = "1",
 pages        = "120--153",
 url          = "http://dx.doi.org/10.1006/inco.1994.1042",
)
@article(DBLP:journals/mscs/Sangiorgi99,
 author       = "Davide Sangiorgi",
 year         = "1999",
 title        = "From lambda to pi; or, Rediscovering continuations",
 journal      = "Math. Str. in Comput. Sci.",
 volume       = "9",
 number       = "4",
 pages        = "367--401",
 url          = "http://dx.doi.org/10.1017/S0960129599002881",
)
@book(DBLP:books/daglib/0004377,
 author       = "Davide Sangiorgi and David Walker",
 year         = "2001",
 title        = "The Pi-Calculus - a theory of mobile processes",
 publisher    = "Cambridge University Press",
)
@inproceedings(DBLP:conf/fossacs/ToninhoCP12,
 author       = "Bernardo Toninho and Lu\'{\i }s Caires and Frank Pfenning",
 year         = "2012",
 title        = "Functions as Session-Typed Processes",
 booktitle    = "FoSSaCS",
 pages        = "346--360",
 url          = "http://dx.doi.org/10.1007/978-3-642-28729-9_23",
)
@article(DBLP:journals/jfp/Vasconcelos05,
 author       = "Vasco~Thudichum Vasconcelos",
 year         = "2005",
 title        = "Lambda and pi calculi, CAM and SECD machines",
 journal      = "J. Funct. Program.",
 volume       = "15",
 number       = "1",
 pages        = "101--127",
 url          = "http://dx.doi.org/10.1017/S0956796804005386",
)