@book(barendregt,
 author       = "Henk Barendregt",
 year         = "1984",
 title        = "The {L}ambda-{C}alculus, its {S}yntax and {S}emantics",
 series       = "Stud. Logic Found. Math., vol. 103",
 publisher    = "North-Holland",
)
@techreport(boudrescalc,
 author       = "G\'{e}rard Boudol",
 year         = "1993",
 title        = "The {L}ambda-{C}alculus with {M}ultiplicities",
 journal      = "INRIA Report 2025",
 url          = "citeseer.ist.psu.edu/article/boudol93lambdacalculus.html",
)
@article(deLiguoroP95,
 author       = "Ugo de'Liguoro and Adolfo Piperno",
 year         = "1995",
 title        = "Non {D}eterministic {E}xtensions of {U}ntyped {L}ambda-{C}alculus",
 journal      = "Inf. Comput.",
 volume       = "122",
 number       = "2",
 pages        = "149--177",
 doi          = "10.1006/inco.1995.1145",
)
@article(lambdadiff,
 author       = "Thomas Ehrhard and Laurent Regnier",
 year         = "2003",
 title        = "The {D}ifferential {L}ambda-{C}alculus",
 journal      = "Theor. Comput. Sci.",
 volume       = "309",
 number       = "1",
 pages        = "1--41",
 doi          = "10.1016/S0304-3975(03)00392-X",
)
@inproceedings(bohmtaylor,
 author       = "Thomas Ehrhard and Laurent Regnier",
 year         = "2006",
 title        = "B{\"o}hm Trees, {K}rivine's {M}achine and the {T}aylor {E}xpansion of {L}ambda-{T}erms",
 booktitle    = "CiE",
 series       = "LNCS",
 volume       = "3988",
 pages        = "186--197",
 doi          = "10.1007/11780342\_20",
)
@article(difftaylor,
 author       = "Thomas Ehrhard and Laurent Regnier",
 year         = "2008",
 title        = "Uniformity and the {T}aylor {E}xpansion of {O}rdinary {L}ambda-{T}erms",
 journal      = "Theor. Comput. Sci.",
 volume       = "403",
 number       = "2-3",
 pages        = "347--372",
 doi          = "10.1016/j.tcs.2008.06.001",
)
@article(paganironchiFI10,
 author       = "Michele Pagani and Simona {Ronchi Della Rocca}",
 year         = "2010",
 title        = "Linearity, Non-determinism and Solvability",
 journal      = "Fundamenta Informaticae",
 volume       = "104",
 pages        = "1--30",
 doi          = "10.3233/FI-2010-324",
)
@inproceedings(paganironchi10,
 author       = "Michele Pagani and Simona {Ronchi Della Rocca}",
 year         = "2010",
 title        = "{S}olvability in {R}esource {L}ambda-{C}alculus",
 editor       = "Luke Ong",
 booktitle    = "FOSSACS",
 series       = "Lecture Notes in Comp.\ Sci.",
 volume       = "6014",
 pages        = "358--373",
 doi          = "10.1007/978-3-642-12032-9\_25",
)
@inproceedings(PaganiTranquilli09,
 author       = "Michele Pagani and Paolo Tranquilli",
 year         = "2009",
 title        = "Parallel {R}eduction in {R}esource {L}ambda-{C}alculus",
 booktitle    = "APLAS",
 series       = "LNCS",
 volume       = "5904",
 pages        = "226--242",
 doi          = "10.1007/978-3-642-10672-9\_17",
)
@phdthesis(phdtranquilli,
 author       = "Paolo Tranquilli",
 year         = "2009",
 title        = "Nets between {D}eterminism and {N}ondeterminism",
 type         = "Ph.{D}.\ thesis",
 school       = "Universit\`a Roma Tre/Universit\'e Paris Diderot (Paris 7)",
)
@article(intudiffnet,
 author       = "Paolo Tranquilli",
 year         = "2011",
 title        = "Intuitionistic differential nets and lambda-calculus",
 journal      = "Theor. Comput. Sci.",
 volume       = "412",
 number       = "20",
 pages        = "1979--1997",
 doi          = "10.1016/j.tcs.2010.12.022",
)