@inproceedings(AltenkirchGrattageLICS05,
 author       = "Thorsten Altenkirch and Jonathan~J. Grattage",
 year         = "2005",
 title        = "A functional quantum programming language",
 booktitle    = "Proceedings of {LICS}-2005",
 publisher    = "IEEE Computer Society",
 pages        = "249--258",
 doi          = "10.1109/LICS.2005.1",
)
@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",
)
@inproceedings(ArrighiDowekWRLA04,
 author       = "Pablo Arrighi and Gilles Dowek",
 year         = "2004",
 title        = "A Computational Definition of the Notion of Vectorial Space",
 editor       = "Narciso Mart{\'i}-Oliet",
 booktitle    = "Proceedings of {WRLA}-2004",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "117",
 publisher    = "Elsevier",
 pages        = "249--261",
 doi          = "10.1016/j.entcs.2004.06.013",
)
@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",
)
@misc(DiazcaroPerdrixTassonValiron11,
 author       = "Alejandro D{\'\i }az-Caro and Simon Perdrix and Christine Tasson and Beno{\^\i }t Valiron",
 year         = "2011",
 title        = "Call by value, call by name and the vectorial behaviour of algebraic $\lambda $-calculus",
 howpublished = "(Submitted) {\tt http://membres-liglab.imag.fr/diazcaro/simulations.pdf}",
)
@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",
)
@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",
)
@inproceedings(HatcliffDanvySPPL94,
 author       = "John Hatcliff and Olivier Danvy",
 year         = "1994",
 title        = "A Generic Account of Continuation-Passing Styles",
 booktitle    = "Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages",
 publisher    = "ACM Press",
 pages        = "458--471",
)
@inproceedings(MoggiLICS89,
 author       = "Eugenio Moggi",
 year         = "1989",
 title        = "Computational Lambda-Calculus and Monads",
 booktitle    = "Proceedings of {LICS}-1989",
 publisher    = "IEEE Computer Society",
 pages        = "14--23",
)
@inproceedings(Perdrix08,
 author       = "Simon Perdrix",
 year         = "2008",
 title        = "Quantum Entanglement Analysis Based on Abstract Interpretation",
 booktitle    = "Proceedings of {SAS}-2008",
 pages        = "270--282",
 doi          = "10.1007/978-3-540-69166-2_18",
)
@article(PlotkinTCS75,
 author       = "Gordon~D. Plotkin",
 year         = "1975",
 title        = "Call-by-name, call-by-value and the $\lambda $-calculus",
 journal      = "Theoretical Computer Science",
 volume       = "1",
 number       = "2",
 pages        = "125--159",
)
@article(SabryWadlerTPLS96,
 author       = "Amr Sabry and Philip Wadler",
 year         = "1996",
 title        = "A Reflection on Call-by-Value",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "19",
 pages        = "13--24",
 doi          = "10.1145/232627.232631",
)
@inproceedings(Selinger04towardsa,
 author       = "Peter Selinger",
 year         = "2004",
 title        = "Towards a quantum programming language",
 booktitle    = "Mathematical Structures in Computer Science",
 pages        = "527--586",
 doi          = "10.1017/S0960129504004256",
)
@article(SelingerV06,
 author       = "Peter Selinger and Beno\^{\i }t Valiron",
 year         = "2006",
 title        = "A lambda calculus for quantum computation with classical control",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 number       = "3",
 pages        = "527--552",
 doi          = "10.1017/S0960129506005238",
)
@inproceedings(ValironDCM10,
 author       = "Beno\^it Valiron",
 year         = "2010",
 title        = "Semantics of a typed algebraic lambda-calculus",
 editor       = "S.~Barry Cooper and Prakash Panangaden and Elham Kashefi",
 booktitle    = "Proceedings {DCM}-2010",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "26",
 publisher    = "Open Publishing Association",
 pages        = "147--158",
 doi          = "10.4204/EPTCS.26.14",
)
@inproceedings(VauxRTA07,
 author       = "Lionel Vaux",
 year         = "2007",
 title        = "On Linear Combinations of Lambda-Terms",
 editor       = "Franz Baader",
 booktitle    = "Proceedings of {RTA}-2007",
 series       = "Lecture Notes in Computer Science",
 volume       = "4533",
 publisher    = "Springer",
 pages        = "374--388",
 doi          = "10.1007/978-3-540-73449-9_28",
)
@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",
)
@article(WoottersZurekNATURE82,
 author       = "William~K. Wootters and Wojciech~.H. Zurek",
 year         = "1982",
 title        = "A Single Quantum Cannot be Cloned",
 journal      = "Nature",
 volume       = "299",
 pages        = "802--803",
 doi          = "10.1038/299802a0",
)