@misc(Blute_proofnets,
 author       = "Richard Blute and Prakash Panangaden",
 title        = "Proof Nets as Formal {F}eynman Diagrams",
 note         = "Submitted.",
)
@article(DLMZ,
 author       = "Ugo Dal Lago and Andrea Masini and Margherita Zorzi",
 year         = "2009",
 title        = "On a measurement-free quantum lambda calculus with classical control",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "19",
 number       = "2",
 pages        = "297--335",
 doi          = "10.1017/S096012950800741X",
)
@incollection(DanosRegnier:PNHil,
 author       = "Vincent Danos and Laurent Regnier",
 year         = "1995",
 title        = "Proof nets and the {H}ilbert space",
 editor       = "J.-Y. Girard and Y. Lafont and L. Regnier",
 booktitle    = "Advances in Linear Logic",
 publisher    = "Cambridge University Press",
 pages        = "307--328",
)
@incollection(Duncan,
 author       = "Ross Duncan",
 year         = "2009",
 title        = "Generalised Proof-Nets for Compact Categories with Biproducts",
 editor       = "S. Gay and I. Mackie",
 booktitle    = "Semantics of Quantum Computation",
 publisher    = "Cambridge University Press",
 pages        = "70--134",
)
@article(Girard:LL,
 author       = "Jean-Yves Girard",
 year         = "1987",
 title        = "Linear Logic",
 journal      = "Theoretical Computer Science",
 volume       = "50",
 number       = "1",
 pages        = "1--102",
 doi          = "10.1016/0304-3975(87)90045-4",
)
@inproceedings(Girard87a,
 author       = "Jean-Yves Girard",
 year         = "1987",
 title        = "Multiplicatives",
 booktitle    = "Rendiconti del Seminario Matematico dell'Universit\`a e Policlinico di Torino. Special issue on Logic and Computer Science",
 pages        = "11--33",
)
@inproceedings(Girard88,
 author       = "Jean-Yves Girard",
 year         = "1989",
 title        = "Geometry of {I}nteraction {I}: {I}nterpretation of {S}ystem {F}",
 booktitle    = "Proceedings of the Logic Colloquium '88",
 publisher    = "North Holland",
 pages        = "221--260",
)
@incollection(Girard:QCS,
 author       = "Jean-Yves Girard",
 year         = "2004",
 title        = "Between logic and quantic: a tract",
 editor       = "P. Ruet T. Ehrhard, J.-Y. Girard and P. Scott",
 booktitle    = "Linear Logic in Computer Science",
 publisher    = "Cambridge University Press",
 pages        = "346--281",
)
@book(GirardPA,
 author       = "Jean-Yves Girard",
 year         = "2011",
 title        = "The Blind Spot: Lectures on Logic",
 publisher    = "European Mathematical Society",
)
@inproceedings(GonthierAbadiLevy,
 author       = "Georges Gonthier and Mart\'{\i }n Abadi and Jean-Jacques L\'evy",
 year         = "1992",
 title        = "The Geometry of Optimal Lambda Reduction",
 booktitle    = "19th Symposium on Principles of Programming Languages (POPL), Proceedings.",
 publisher    = "ACM Press",
 pages        = "15--26",
 doi          = "10.1145/143165.143172",
)
@inproceedings(Hasuo11,
 author       = "Ichiro Hasuo and Naohiko Hoshino",
 year         = "2011",
 title        = "Semantics of Higher-Order Quantum Computation via Geometry of Interaction",
 booktitle    = "26th Symposium on Logic in Computer Science (LICS), Proceedings",
 publisher    = "IEEE",
 pages        = "237--246",
 doi          = "10.1109/LICS.2011.26",
)
@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",
)
@article(SelingerV08,
 author       = "Peter Selinger and Beno\^{\i }t Valiron",
 year         = "2008",
 title        = "On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "210",
 pages        = "123--137",
 doi          = "10.1016/j.entcs.2008.04.022",
)
@article(VanTonder,
 author       = "Andr{\'e} 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",
)