@inproceedings(AndovaFMRTPS99,
 author       = "Suzana Andova",
 year         = "1999",
 title        = "Process Algebra with Probabilistic Choice",
 editor       = "Joost-Pieter Katoen",
 booktitle    = "Formal Methods for Real-Time and Probabilistic Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "1601",
 pages        = "111--129",
 doi          = "10.1007/3-540-48778-6\_7",
)
@article(ArrighiDiazcaroLMCS12,
 author       = "Pablo Arrighi and Alejandro D{\'\i }az-Caro",
 year         = "2012",
 title        = "A {S}ystem {F} Accounting for Scalars",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "1",
 eid          = "11",
 doi          = "10.2168/LMCS-8(1:11)",
)
@inproceedings(ArrighiDiazcaroValironDCM11,
 author       = "Pablo Arrighi and Alejandro D{\'\i }az-Caro and Beno{\^\i }t Valiron",
 year         = "2012",
 title        = "A Type System for the Vectorial Aspects of the Linear-Algebraic Lambda-Calculus",
 editor       = "Elham Kashefi and Jean Krivine and Femke van Raamsdonk",
 booktitle    = "Developments in Computational Models",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "88",
 pages        = "1--15",
 doi          = "10.4204/EPTCS.88.1",
)
@misc(ArrighiDiazcaroValiron13,
 author       = "Pablo Arrighi and Alejandro D{\'\i }az-Caro and Beno\^it Valiron",
 year         = "2013",
 title        = "The Vectorial Lambda-Calculus",
 url          = "http://www.arxiv.org/abs/1308.1138",
 note         = "(Under review)",
)
@inproceedings(ArrighiDowekRTA08,
 author       = "Pablo Arrighi and Gilles Dowek",
 year         = "2008",
 title        = "Linear-algebraic $\lambda $-calculus: higher-order, encodings, and confluence",
 editor       = "Andrei Voronkov",
 booktitle    = "Rewriting Techniques and Applications",
 series       = "Lecture Notes in Computer Science",
 volume       = "5117",
 pages        = "17--31",
 doi          = "10.1007/978-3-540-70590-1\_2",
 url          = "http://www.arxiv.org/abs/quant-ph/0612199",
)
@book(Barendregt84,
 author       = "Henk Barendregt",
 year         = "1984",
 title        = "The Lambda Calculus: Its Syntax and Semantics",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@inbook(BenedettoCzaja09,
 author       = "John J. Benedetto and Wojciech Czaja",
 year         = "2009",
 title        = "Integration and Modern Analysis",
 chapter      = "Lebesgue Measure and General Measure Theory",
 series       = "Birkhi{\"a}user Advanced Texts Basler Lehrb{\"u}cher",
 publisher    = "Birkh{\"a}user Boston",
 doi          = "10.1007/978-0-8176-4656-1",
)
@article(BoudolIC94,
 author       = "G\'erard Boudol",
 year         = "1994",
 title        = "Lambda-Calculi for (Strict) Parallel Functions",
 journal      = "Information and Computation",
 volume       = "108",
 number       = "1",
 pages        = "51--127",
 doi          = "10.1006/inco.1994.1003",
)
@inproceedings(BournezHoyrupRTA03,
 author       = "Olivier Bournez and Mathieu Hoyrup",
 year         = "2003",
 title        = "Rewriting Logic and Probabilities",
 editor       = "Robert Nieuwenhuis",
 booktitle    = "Rewriting Techniques and Applications",
 series       = "Lecture Notes in Computer Science",
 volume       = "2706",
 pages        = "61--75",
 doi          = "10.1007/3-540-44881-0\_6",
 url          = "http://hal.inria.fr/inria-00099620",
)
@article(BucciarelliEhrhardManzonettoAPAL12,
 author       = "Antonio Bucciarelli and Thomas Ehrhard and Giulio Manzonetto",
 year         = "2012",
 title        = "A Relational Semantics for Parallelism and Non-Determinism in a Functional Setting",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "163",
 number       = "7",
 pages        = "918--934",
 doi          = "10.1016/j.apal.2011.09.008",
 url          = "http://hal.inria.fr/inria-00628887",
)
@article(DalLagoZorziRAIRO12,
 author       = "Ugo {Dal Lago} and Margherita Zorzi",
 year         = "2012",
 title        = "Probabilistic operational semantics for the lambda calculus",
 journal      = "RAIRO - Theoretical Informatics and Applications",
 volume       = "46",
 number       = "03",
 pages        = "413--450",
 doi          = "10.1051/ita/2012012",
 url          = "http://www.arxiv.org/abs/1104.0195",
)
@article(deLiguoroPipernoIC95,
 author       = "Ugo de'Liguoro and Adolfo Piperno",
 year         = "1995",
 title        = "Non Deterministic Extensions of Untyped $\lambda $-calculus",
 journal      = "Information and Computation",
 volume       = "122",
 number       = "2",
 pages        = "149--177",
 doi          = "10.1006/inco.1995.1145",
)
@article(DezaniciancagliniDeliguoroPipernoSIAM98,
 author       = "Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro and Adolfo Piperno",
 year         = "1998",
 title        = "A filter model for concurrent $\lambda $-calculus",
 journal      = "SIAM Journal on Computing",
 volume       = "27",
 number       = "5",
 pages        = "1376--1419",
 doi          = "10.1137/S0097539794275860",
)
@article(DipierroHankinWiklickyJLC05,
 author       = "Alessandra {Di Pierro} and Chris Hankin and Herbert Wiklicky",
 year         = "2005",
 title        = "Probabilistic $\lambda $-Calculus and Quantitative Program Analysis",
 journal      = "Journal of Logic and Computation",
 volume       = "15",
 number       = "2",
 pages        = "159--179",
 doi          = "10.1093/logcom/exi008",
)
@inproceedings(DiazcaroDowekLSFA12,
 author       = "Alejandro D{\'\i }az-Caro and Gilles Dowek",
 year         = "2013",
 title        = "Non determinism through type isomorphism",
 editor       = "Delia Kesner and Petrucio Viana",
 booktitle    = "Logical and Semantic Frameworks, with Applications",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "113",
 pages        = "137--144",
 doi          = "10.4204/EPTCS.113.13",
)
@misc(DiazcaroDowek13,
 author       = "Alejandro D{\'\i }az-Caro and Gilles Dowek",
 year         = "2013",
 title        = "Normalisation of a non-deterministic type isomorphic $\lambda $-calculus",
 url          = "http://www.arxiv.org/abs/1306.5089",
 note         = "(Under review)",
)
@inproceedings(DiazcaroManzonettoPaganiLFCS13,
 author       = "Alejandro D{\'\i }az-Caro and Giulio Manzonetto and Michele Pagani",
 year         = "2013",
 title        = "Call-by-value non-determinism in a linear logic type discipline",
 editor       = "Sergei Artemov and Anil Nerode",
 booktitle    = "Logical Foundations of Computer Science",
 series       = "Lecture Notes in Computer Science",
 volume       = "7734",
 pages        = "164--178",
 doi          = "10.1007/978-3-642-35722-0\_12",
)
@inproceedings(DiazcaroPetitWoLLIC12,
 author       = "Alejandro D{\'\i }az-Caro and Barbara Petit",
 year         = "2012",
 title        = "Linearity in the non-deterministic call-by-value setting",
 editor       = "Luke Ong and Ruy {de Queiroz}",
 booktitle    = "Logic, Language, Information and Computation",
 series       = "Lecture Notes in Computer Science",
 volume       = "7456",
 pages        = "216--231",
 doi          = "10.1007/978-3-642-32621-9\_16",
 url          = "http://www.arxiv.org/abs/1011.3542",
)
@inproceedings(GeuversKrebbersMcKinnaWiedijkLFMTP10,
 author       = "Herman Geuvers and Robbert Krebbers and James McKinna and Freek Wiedijk",
 year         = "2010",
 title        = "Pure Type Systems without Explicit Contexts",
 editor       = "Karl Crary and Marino Miculan",
 booktitle    = "Logical Frameworks and Meta-languages: Theory and Practice",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "34",
 pages        = "53--67",
 doi          = "10.4204/EPTCS.34.6",
)
@inproceedings(HerescuPalamidessiFOSSACS00,
 author       = "Oltea Mihaela Herescu and Catuscia Palamidessi",
 year         = "2000",
 title        = "Probabilistic Asynchronous $\pi $-Calculus",
 editor       = "Jerzy Tiuryn",
 booktitle    = "Foundations of Software Science and Computation Structures",
 series       = "Lecture Notes in Computer Science",
 volume       = "1784",
 pages        = "146--160",
 doi          = "10.1007/3-540-46432-8\_10",
 url          = "http://www.arxiv.org/abs/cs/0109002",
)
@article(PaganiRonchidellaroccaFI10,
 author       = "Michele Pagani and Simona {Ronchi Della Rocca}",
 year         = "2010",
 title        = "Linearity, non-determinism and solvability",
 journal      = "Fundamental Informaticae",
 volume       = "103",
 number       = "1--4",
 pages        = "173--202",
 doi          = "10.3233/FI-2010-324",
)
@article(ParkSeoParkLeeJAR13,
 author       = "Jonghyun Park and Jeongbong Seo and Sungwoo Park and Gyesik Lee",
 year         = "2013",
 title        = "Mechanizing Metatheory without Typing Contexts",
 journal      = "Journal of Automated Reasoning",
 doi          = "10.1007/s10817-013-9287-4",
)
@book(Terese03,
 author       = "{TeReSe}",
 year         = "2003",
 title        = "Term Rewriting Systems",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "55",
 publisher    = "Cambridge University Press",
)
@article(VauxMSCS09,
 author       = "Lionel Vaux",
 year         = "2009",
 title        = "The algebraic lambda calculus",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "19",
 number       = "5",
 pages        = "1029--1059",
 doi          = "10.1017/S0960129509990089",
 url          = "http://hal.archives-ouvertes.fr/hal-00379750",
)