@inproceedings(ArrighiDiazcaroQPL09,
 author       = "Pablo Arrighi and Alejandro D{\'\i }az-Caro",
 year         = "2011",
 title        = "Scalar system {F} for linear-algebraic lambda-calculus: towards a quantum physical logic",
 editor       = "Bob Coecke and Prakash Panangaden and Peter Selinger",
 booktitle    = "Proceedings of {QPL}-2009",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "270/2",
 publisher    = "Elsevier",
 pages        = "219--229",
 doi          = "10.1016/j.entcs.2011.01.033",
 url          = "http://arxiv.org/abs/0903.3741",
)
@inproceedings(ArrighiDiazcaroValironDCM11,
 author       = "Pablo Arrighi and Alejandro D{\'\i }az-Caro and Beno{\^\i }t Valiron",
 year         = "2011",
 title        = "A type system for the vectorial aspects of the linear-algebraic lambda-calculus",
 booktitle    = "Proceedings of the 7th International Workshop on Developments of Computational Methods (DCM 2011)",
 address      = "Zurich, Switzerland",
 url          = "http://membres-liglab.imag.fr/diazcaro/vectorial.pdf",
 note         = "To appear in EPTCS",
)
@inproceedings(ArrighiDowekRTA08,
 author       = "Pablo Arrighi and Gilles Dowek",
 year         = "2008",
 title        = "Linear-algebraic lambda-calculus: higher-order, encodings, and confluence",
 editor       = "Andrei Voronkov",
 booktitle    = "Proceedings of {RTA}-2008",
 series       = "Lecture Notes in Computer Science",
 volume       = "5117",
 publisher    = "Springer",
 pages        = "17--31",
 doi          = "10.1007/978-3-540-70590-1\_2",
 url          = "http://arxiv.org/abs/quant-ph/0612199",
)
@book(Barendregt92,
 author       = "Henk P. Barendregt",
 year         = "1992",
 title        = "Lambdar-calculi with types",
 series       = "Handbook of Logic in Computer Science",
 volume       = "{II}",
 publisher    = "Oxford University Press",
)
@inproceedings(DiazcaroPerdrixTassonValironHOR10,
 author       = "Alejandro D\'iaz-Caro and Simon Perdrix and Christine Tasson and Beno\^it Valiron",
 year         = "2010",
 title        = "Equivalence of Algebraic $\lambda $-calculi",
 booktitle    = "Informal Proceedings of the 5th International Workshop on Higher-Order Rewriting, {HOR}-2010",
 address      = "Edinburgh, UK",
 pages        = "6--11",
 url          = "http://arxiv.org/abs/1005.2897",
)
@misc(DiazcaroPetit10,
 author       = "Alejandro D{\'\i }az-Caro and Barbara Petit",
 year         = "2010",
 title        = "Sums in linear algebraic lambda-calculus",
 url          = "http://arxiv.org/abs/1011.3542",
 note         = "Submitted",
)
@article(EhrhardMSCS03,
 author       = "Thomas Ehrhard",
 year         = "2003",
 title        = "On {K}{\"o}the sequence spaces and linear logic",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "12",
 number       = "5",
 pages        = "579--623",
 doi          = "10.1017/S0960129502003729",
)
@article(EhrhardMSCS05,
 author       = "Thomas Ehrhard",
 year         = "2005",
 title        = "Finiteness spaces",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "15",
 number       = "4",
 pages        = "615--646",
 doi          = "10.1017/S0960129504004645",
)
@inproceedings(EhrhardLICS10,
 author       = "Thomas Ehrhard",
 year         = "2010",
 title        = "A Finiteness Structure on Resource Terms",
 booktitle    = "Proceedings of {LICS}-2010",
 publisher    = "IEEE Computer Society",
 pages        = "402--410",
 doi          = "10.1109/LICS.2010.38",
 url          = "http://arxiv.org/abs/1001.3219",
)
@article(EhrhardRegnierTCS03,
 author       = "Thomas Ehrhard and Laurent Regnier",
 year         = "2003",
 title        = "The differential lambda-calculus",
 journal      = "Theoretical Computer Science",
 volume       = "309",
 number       = "1",
 pages        = "1--41",
 doi          = "10.1016/S0304-3975(03)00392-X",
)
@book(Girard89,
 author       = "Jean-Yves Girard and Yves Lafont and Paul Taylor",
 year         = "1989",
 title        = "Proofs and Types",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "7",
 publisher    = "Cambridge University Press",
 url          = "http://www.paultaylor.eu/stable/Proofs+Types.html",
)
@book(Krivine90,
 author       = "Jean-Louis Krivine",
 year         = "1990",
 title        = "Lambda-calcul: types et mod{\`e}les",
 series       = "{\'E}tudes et recherches en informatique",
 publisher    = "Masson",
)
@inproceedings(PaganiRonchiFOSSACS10,
 author       = "Michele Pagani and Simona Ronchi Della Rocca",
 year         = "2010",
 title        = "Solvability in Resource Lambda Calculus",
 editor       = "Luke Ong",
 booktitle    = "Proceedings of {FOSSACS}-2010",
 series       = "Lecture Notes in Computer Science",
 volume       = "6014",
 publisher    = "Springer",
 pages        = "358--373",
 doi          = "10.1007/978-3-642-12032-9\_25",
)
@inproceedings(PaganiTranquilliAPLAS09,
 author       = "Michele Pagani and Paolo Tranquilli",
 year         = "2009",
 title        = "Parallel Reduction in Resource Lambda-Calculus",
 editor       = "Zhenjiang Hu",
 booktitle    = "Proceedings of {APLAS}-2009",
 series       = "Lecture Notes in Computer Science",
 volume       = "5904",
 publisher    = "Springer",
 pages        = "226--242",
 doi          = "10.1007/978-3-642-10672-9\_17",
)
@inproceedings(ReynoldsPS74,
 author       = "John C. Reynolds",
 year         = "1974",
 title        = "Towards a theory of type structure",
 editor       = "B. Robinet",
 booktitle    = "Proceedings of the Colloque sur la Programmation",
 series       = "Lecture Notes in Computer Science",
 volume       = "19",
 publisher    = "Springer",
 pages        = "408--425",
 doi          = "10.1007/3-540-06859-7\_148",
 url          = "http://repository.cmu.edu/compsci/1290",
)
@inproceedings(TassonTLCA09,
 author       = "Christine Tasson",
 year         = "2009",
 title        = "Algebraic totality, towards completeness",
 editor       = "Pierre-Louis Curien",
 booktitle    = "Proceedings of {TLCA}-2009",
 series       = "Lecture Notes in Computer Science",
 volume       = "5608",
 publisher    = "Springer",
 pages        = "325--340",
 doi          = "10.1007/978-3-642-02273-9\_24",
 url          = "http://arxiv.org/abs/0912.2349",
)
@book(Terese03,
 author       = "{TeReSe}",
 year         = "2003",
 title        = "Term Rewriting Systems",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "55",
 publisher    = "Cambridge University Press",
)
@inproceedings(VauxRTA07,
 author       = "Lionel Vaux",
 year         = "2007",
 title        = "On Linear Combinations of $\lambda $-Terms",
 editor       = "Franz Baader",
 booktitle    = "Proceedings of {RTA}-07",
 series       = "Lecture Notes in Computer Science",
 volume       = "4533",
 publisher    = "Springer",
 pages        = "374--388",
 doi          = "10.1007/978-3-540-73449-9\_28",
 url          = "http://hal.archives-ouvertes.fr/hal-00383896",
)
@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",
)