@inproceedings(Baltag2004,
 author       = "Alexandru Baltag and Sonja Smets",
 year         = "2004",
 title        = "The Logic of Quantum Programs",
 booktitle    = "QPL 2004",
 pages        = "39--56",
)
@article(Baltag,
 author       = "Alexandru Baltag and Sonja Smets",
 year         = "2005",
 title        = "Complete Axiomatizations for Quantum Actions",
 journal      = "International Journal of Theoretical Physics",
 volume       = "44",
 doi          = "10.1007/s10773-005-8022-2",
)
@article(Baltaga,
 author       = "Alexandru Baltag and Sonja Smets",
 year         = "2005",
 title        = "LQP: The Dynamic Logic of Quantum Information",
 journal      = "Mathematical Structures in Computer Science",
 doi          = "10.1017/s0960129506005299",
)
@article(Baltag2011,
 author       = "Alexandru Baltag and Sonja Smets",
 year         = "2011",
 title        = "Quantum Logic as a Dynamic Logic",
 journal      = "Synthese",
 volume       = "179",
 pages        = "285--306",
 doi          = "10.1007/s11229-010-9783-6",
)
@article(Baltag2012,
 author       = "Alexandru Baltag and Sonja Smets",
 year         = "2012",
 title        = "The Dynamic Turn in Quantum Logic",
 journal      = "Synthese",
 volume       = "186",
 pages        = "753--773",
 doi          = "10.1007/s11229-011-9915-7",
)
@inproceedings(Benton93aterm,
 author       = "Nick Benton and Gavin Bierman and Valeria De Paiva and Martin Hyland",
 year         = "1993",
 title        = "A Term Calculus for Intuitionistic Linear Logic",
 booktitle    = "TLCA",
 series       = "Lecture Notes in Computer Science",
 volume       = "664",
 publisher    = "Springer-Verlag",
 pages        = "75--90",
 doi          = "10.1007/BFb0037099",
)
@inproceedings(Benton1995,
 author       = "P. N. Benton",
 year         = "1995",
 title        = "A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)",
 booktitle    = "Selected Papers from the 8th International Workshop on Computer Science Logic",
 series       = "CSL '94",
 publisher    = "Springer-Verlag",
 address      = "London, UK, UK",
 pages        = "121--135",
 doi          = "10.1007/bfb0022251",
)
@incollection(Danos2009,
 author       = "Vincent Danos and Elham Kashefi and Prakash Panangaden and Simon Perdrix",
 year         = "2009",
 title        = "Extended Measurement Calculus",
 booktitle    = "Semantic Techniques for Quantum Computation",
 chapter      = "5",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9781139193313.008",
)
@article(2006,
 author       = "Ellie d'Hondt and Prakash Panangaden",
 year         = "2006",
 title        = "Quantum Weakest Preconditions",
 journal      = "Math Struct in Comp Science",
 volume       = "16",
 pages        = "429--451",
 doi          = "10.1017/S0960129506005251",
)
@book(Dvurecenskij2000,
 author       = "A. Dvure\v {c}enskij and S. Pulmannov \'{a}",
 year         = "2000",
 title        = "New Trends in Quantum Structures",
 publisher    = "Kluwer Academic Publishers",
 address      = "Dordrecht",
 doi          = "10.1007/978-94-017-2422-7",
)
@inproceedings(Jacobs2010,
 author       = "Bart Jacobs",
 year         = "2010",
 title        = "Convexity, duality, and effects",
 editor       = "C. S. Clade and V. Sassone",
 booktitle    = "IFIP Theoretical Computer Science2010",
 series       = "IFIP Adv. in Inf. and Comm. Techn.",
 volume       = "82 (1)",
 publisher    = "Springer",
 address      = "Boston",
 pages        = "1--19",
 doi          = "10.1007/978-3-642-15240-5$\_$1",
)
@article(Jacobs2011,
 author       = "Bart Jacobs",
 year         = "2011",
 title        = "Probabilities, Distribution Monads, and Convex Categories",
 journal      = "Theor. Comput. Sci.",
 volume       = "412",
 number       = "28",
 pages        = "3323--3336",
 doi          = "10.1016/j.tcs.2011.04.005",
)
@unpublished(Jacobs,
 author       = "Bart Jacobs",
 year         = "2014",
 title        = "New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic",
 note         = "To appear in Logical Methods in Computer Science",
 url          = "\url {http://arxiv.org/abs/1205.3940}",
)
@incollection(Jacobs2013,
 author       = "Bart Jacobs and Jorik Mandemaker",
 year         = "2013",
 title        = "Relating Operator Spaces via Adjunctions",
 editor       = "J. Chubb Reimann and V. Harizanov and A. Eskandarian",
 booktitle    = "Logic and Algebraic Structures in Quantum Computing and Information",
 series       = "Lect. Notes in Logic",
 publisher    = "Camb",
)
@article(Kock1972,
 author       = "Anders Kock",
 year         = "1972",
 title        = "Strong functors and monoidal monads",
 journal      = "Archiv der Mathematik",
 volume       = "23",
 number       = "1",
 pages        = "113--120",
 doi          = "10.1007/BF01304852",
)
@article(Selinger2004,
 author       = "Peter Selinger",
 year         = "2004",
 title        = "Towards a Quantum Programming Language",
 journal      = "Math Struct in Comp Science",
 volume       = "14",
 number       = "4",
 pages        = "527--586",
 doi          = "10.1017/S0960129504004256",
)
@incollection(Sellinger2010,
 author       = "P. Sellinger and B. Valiron",
 year         = "2010",
 title        = "Quantum Lambda Calculus",
 editor       = "S. Gay and I Mackie",
 booktitle    = "Semantical Techniques in Quantum Computation",
 publisher    = "Cambridge University Press",
 pages        = "135--172",
 doi          = "10.1017/cbo9781139193313.005",
)
@article(Ying2011,
 author       = "Mingsheng Ying",
 year         = "2011",
 title        = "Floyd-{H}oare logic for quantum programs",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "33",
 number       = "6",
 pages        = "19",
 doi          = "10.1145/2049706.2049708",
)