@inproceedings(ArrDow,
 author       = "Pablo Arrighi and Gilles Dowek",
 year         = "2008",
 title        = "Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.",
 booktitle    = "RTA",
 pages        = "17--31",
 doi          = "10.1007/978-3-540-70590-1\_2",
)
@article(BerVa97,
 author       = "E. Bernstein and U. Vazirani",
 year         = "1997",
 title        = "Quantum Complexity Theory",
 journal      = "SIAM J. Comput.",
 volume       = "26",
 number       = "5",
 pages        = "1411--1473",
 doi          = "10.1137/S0097539796300921",
)
@inproceedings(deep,
 author       = "R. Blute and A. Guglielmi and I. Ivanov and P. Panangaden and L. Stra{\ss }burger",
 year         = "2014",
 title        = "A Logical Basis for Quantum Evolution and Entanglement",
 booktitle    = "Categories and Types in Logic, Language, and Physics",
 series       = "LNCS",
 volume       = "8222",
 pages        = "90--107",
 doi          = "10.1007/978-3-642-54789-8\_6",
)
@inproceedings(DLF11,
 author       = "U. Dal Lago and C. Faggian",
 year         = "2011",
 title        = "On Multiplicative Linear Logic, Modality and Quantum Circuits",
 booktitle    = "QPL",
 series       = "Electron. Proc. Theor. Comput. Sci.",
 volume       = "95",
 pages        = "55--66",
 doi          = "10.4204/EPTCS.95.6",
)
@article(mscs2009,
 author       = "U. Dal Lago and A. Masini and M. Zorzi",
 year         = "2009",
 title        = "On a Measurement-Free Quantum Lambda Calculus with Classical Control",
 journal      = "Math. Structures Comput. Sci.",
 volume       = "19",
 number       = "2",
 pages        = "297--335",
 doi          = "10.1017/S096012950800741X",
)
@article(tcs2010,
 author       = "U. Dal Lago and A. Masini and M. Zorzi",
 year         = "2010",
 title        = "Quantum Implicit Computational Complexity",
 journal      = "Theoret. Comput. Sci.",
 volume       = "411",
 number       = "2",
 pages        = "377--409",
 doi          = "10.1016/j.tcs.2009.07.045",
)
@article(entcs11,
 author       = "U. Dal Lago and A. Masini and M. Zorzi",
 year         = "2011",
 title        = "Confluence Results for A Quantum Lambda Calculus with Measurements",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "270",
 number       = "2",
 pages        = "251--261",
 doi          = "10.1016/j.entcs.2011.01.035",
)
@unpublished(EV,
 author       = "U. Dal Lago and M. Zorzi",
 year         = "2013",
 title        = "Wave-Style Token Machines and Quantum Lambda Calculi (Long Version).",
 note         = "Available at \url {http://arxiv.org/abs/1307.0550}",
)
@article(Del11,
 author       = "Y. Delbecque",
 year         = "2011",
 title        = "Game Semantics for Quantum Data",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "270",
 number       = "1",
 pages        = "41--57",
 doi          = "10.1016/j.entcs.2011.01.005",
)
@article(DP08,
 author       = "Y. Delbecque and P. Panangaden",
 year         = "2008",
 title        = "Game Semantics for Quantum Stores",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "218",
 pages        = "153--170",
 doi          = "10.1016/j.entcs.2008.10.010",
)
@inproceedings(JYG89,
 author       = "J.-Y. Girard",
 year         = "1989",
 title        = "Geometry of Interaction {I}: Interpretation of System {F}",
 booktitle    = "Proc. of the Logic Colloquium '88",
 pages        = "221--260",
 doi          = "10.1016/s0049-237x(08)70271-4",
)
@inproceedings(GA92,
 author       = "G. Gonthier and M. Abadi and J.-J. L{\'e}vy",
 year         = "1992",
 title        = "The Geometry of Optimal Lambda Reduction",
 booktitle    = "POPL",
 pages        = "15--26",
 doi          = "10.1145/143165.143172",
)
@inproceedings(HH11,
 author       = "I. Hasuo and N. Hoshino",
 year         = "2011",
 title        = "Semantics of higher-order quantum computation via geometry of interaction",
 booktitle    = "LICS",
 pages        = "237--246",
 doi          = "10.1109/LICS.2011.26",
)
@inproceedings(Mackie95,
 author       = "Ian Mackie",
 year         = "1995",
 title        = "The Geometry of Interaction Machine",
 booktitle    = "POPL",
 pages        = "198--208",
 doi          = "10.1145/199448.199483",
)
@book(NieCh00,
 author       = "M. Nielsen and I. Chuang",
 year         = "2000",
 title        = "Quantum computation and quantum information",
 publisher    = "Cambridge University Press",
)
@article(SV06,
 author       = "P. Selinger and B. Valiron",
 year         = "2006",
 title        = "A lambda calculus for quantum computation with classical control",
 journal      = "Math. Structures Comput. Sci.",
 volume       = "16",
 number       = "3",
 pages        = "527--552",
 doi          = "10.1017/S0960129506005238",
)
@article(SelingerV08,
 author       = "Peter Selinger and Beno\^{\i }t Valiron",
 year         = "2008",
 title        = "On a Fully Abstract Model for a Quantum Linear Functional Language",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "210",
 pages        = "123--137",
 doi          = "10.1016/j.entcs.2008.04.022",
)
@article(Shor97,
 author       = "Peter W. Shor",
 year         = "1997",
 title        = "Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer",
 journal      = "SIAM J. Comput.",
 volume       = "26",
 number       = "5",
 pages        = "1484--1509",
 doi          = "10.1137/S0097539795293172",
)
@article(vT04,
 author       = "A. van Tonder",
 year         = "2004",
 title        = "A lambda calculus for quantum computation",
 journal      = "SIAM J. Comput.",
 volume       = "33",
 number       = "5",
 pages        = "1109--1135",
 doi          = "10.1137/S0097539703432165",
)
@inproceedings(VVZ14,
 author       = "M. Volpe and L. Vigan\`o and M Zorzi",
 year         = "2014",
 title        = "Quantum States Transformation and Branching Distributed Temporal Logic",
 booktitle    = "WOLLIC",
 series       = "LNCS",
 volume       = "8652",
 pages        = "1--19",
 doi          = "10.1007/978-3-662-44145-9\_1",
)
@inproceedings(Yoshi14,
 author       = "Akira Yoshimizu and Ichiro Hasuo and Claudia Faggian and Ugo Dal Lago",
 year         = "2014",
 title        = "Measurements in Proof Nets as Higher-Order Quantum Circuits",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "8410",
 pages        = "371--391",
 doi          = "10.1007/978-3-642-54833-8\_20",
)
@article(Zorzi13,
 author       = "M. Zorzi",
 year         = "2013",
 title        = "On Quantum Lambda Calculi: a Foundational Perspective",
 journal      = "Math. Structures Comput. Sci.",
 pages        = "1--94",
 note         = "Accepted for Publication",
)