@inproceedings(AbramskyC04,
 author       = "S. Abramsky and B. Coecke",
 year         = "2004",
 title        = "A categorical semantics of quantum protocols",
 booktitle    = "Logic in Computer Science",
 organization = "IEEE",
 publisher    = "Computer Science Press",
 pages        = "415--425",
 doi          = "10.1109/LICS.2004.1319636",
)
@inproceedings(AbramskyC09,
 author       = "S. Abramsky and B. Coecke",
 year         = "2009",
 title        = "A categorical semantics of quantum protocols",
 editor       = "K. Engesser and {Dov} M. Gabbai and D. Lehmann",
 booktitle    = "Handbook of Quantum Logic and Quantum Structures",
 organization = "North Holland, Elsevier",
 publisher    = "Computer Science Press",
 pages        = "261--323",
)
@book(Alfsen71,
 author       = "E.M. Alfsen",
 year         = "1971",
 title        = "Compact Convex Sets and Boundary Integrals",
 series       = "Ergebnisse der Mathematik und ihrer Grenzgebiete",
 volume       = "57",
 publisher    = "Springer",
)
@book(AsimovE80,
 author       = "L. Asimow and A.J. Ellis",
 year         = "1980",
 title        = "Convexity Theory and its Applications in Functional Analysis",
 publisher    = "Academic Press",
 address      = "New York",
)
@article(AudebaudP09,
 author       = "P. Audebaud and C. Paulin-Mohring",
 year         = "2009",
 title        = "Proofs of randomized algorithms in {Coq}",
 journal      = "Science of Comput. Progr.",
 volume       = "74(8)",
 pages        = "568–--589",
 doi          = "10.1016/j.scico.2007.09.002",
)
@article(BaezS10,
 author       = "J. Baez and M. Stay",
 year         = "2011",
 title        = "Physics, topology, logic and computation: a Rosetta Stone",
 journal      = "New structures for physics",
 pages        = "95--172",
 doi          = "10.1007/978-3-642-12821-9\_2",
)
@book(Barendregt84,
 author       = "H.P. Barendregt",
 year         = "1984",
 title        = "The Lambda Calculus. Its Syntax and Semantics",
 edition      = "$2^{\textrm {nd}}$ rev.",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@book(BarrW85,
 author       = "M. Barr and Ch. Wells",
 year         = "1985",
 title        = "Toposes, Triples and Theories",
 publisher    = "Springer, Berlin",
 note         = "Revised and corrected version available from URL: \url {www.cwru.edu/artsci/math/wells/pub/ttt.html}",
)
@inproceedings(BartheGZ09,
 author       = "G. Barthe and B. Gr{\'eg}oire and S. Zanella B{\'e}guelin",
 year         = "2009",
 title        = "Formal certification of code-based cryptographic proofs",
 booktitle    = "Principles of Programming Languages",
 organization = "ACM Press",
 pages        = "90–--101",
 doi          = "10.1145/1480881.1480894",
)
@book(Borceux94,
 author       = "F. Borceux",
 year         = "1994",
 title        = "Handbook of Categorical Algebra",
 series       = "Encyclopedia of Mathematics",
 volume       = "50, 51 and 52",
 publisher    = "Cambridge Univ. Press",
 doi          = "10.1017/CBO9780511525858",
)
@article(Busch03,
 author       = "P. Busch",
 year         = "2003",
 title        = "Quantum states and generalized observables: a simple proof of {Gleason's} theorem",
 journal      = "Phys. Review Letters",
 volume       = "91(12):120403",
 pages        = "1--4",
 doi          = "10.1103/PhysRevLett.91.120403",
)
@article(CookeKM85,
 author       = "R. Cookea and M. Keanea and W. Morana",
 year         = "1985",
 title        = "Stably continuous frames",
 journal      = "Math. Proc. Cambridge Phil. Soc.",
 volume       = "98",
 pages        = "117--128",
)
@article(dHondtP06,
 author       = "E. D'Hondt and P. Panangaden",
 year         = "2006",
 title        = "Quantum weakest preconditions",
 journal      = "Math. Struct. in Comp. Sci.",
 volume       = "16(3)",
 pages        = "429--451",
 doi          = "10.1017/S0960129506005251",
)
@book(Dvurecenskij92,
 author       = "A. Dvure\v {c}enskij",
 year         = "1992",
 title        = "Gleason's Theorem and Its Applications",
 series       = "Mathematics and its Applications",
 volume       = "60",
 publisher    = "Kluwer Acad. Publ.",
 address      = "Dordrecht",
)
@book(DvurecenskijP00,
 author       = "A. Dvure\v {c}enskij and S. Pulmannov{\'a}",
 year         = "2000",
 title        = "New Trends in Quantum Structures",
 publisher    = "Kluwer Acad. Publ.",
 address      = "Dordrecht",
)
@inproceedings(Giry82,
 author       = "M. Giry",
 year         = "1982",
 title        = "A categorical approach to probability theory",
 editor       = "B. Banaschewski",
 booktitle    = "Categorical Aspects of Topology and Analysis",
 series       = "Lect. Notes Math.",
 volume       = "915",
 publisher    = "Springer, Berlin",
 pages        = "68--85",
 doi          = "10.1007/BFb0092872",
)
@article(Gleason57,
 author       = "A. Gleason",
 year         = "1957",
 title        = "Measures on the closed subspaces of a {Hilbert} space",
 journal      = "Journ. Math. Mech.",
 volume       = "6",
 pages        = "885--893",
)
@article(Gudder98,
 author       = "S. Gudder",
 year         = "1998",
 title        = "Morphisms, tensor products and $\sigma $-effect algebras",
 journal      = "Reports on Math. Phys.",
 volume       = "42",
 pages        = "321--346",
 doi          = "10.1016/S0034-4877(99)80003-2",
)
@inproceedings(Jacobs10e,
 author       = "B. Jacobs",
 year         = "2010",
 title        = "Convexity, duality, and effects",
 editor       = "C.S. Calude and V. Sassone",
 booktitle    = "IFIP Theoretical Computer Science 2010",
 series       = "IFIP Adv. in Inf. and Comm. Techn.",
 volume       = "82(1)",
 publisher    = "Springer, Boston",
 pages        = "1--19",
 doi          = "10.1007/978-3-642-15240-5\_1",
)
@article(Jacobs11c,
 author       = "B. Jacobs",
 year         = "2011",
 title        = "Probabilities, Distribution Monads, and Convex Categories",
 journal      = "Theor. Comp. Sci.",
 volume       = "412(28)",
 pages        = "3323--3336",
 doi          = "10.1016/j.tcs.2011.04.005",
)
@article(JacobsM12a,
 author       = "B. Jacobs and J. Mandemaker",
 year         = "2012",
 title        = "Coreflections in Algebraic Quantum Logic",
 journal      = "Found. of Physics",
 note         = "From: Quantum Physics and Logic (QPL) 2010",
)
@book(Johnstone82,
 author       = "P.T. Johnstone",
 year         = "1982",
 title        = "Stone Spaces",
 series       = "Cambridge Studies in Advanced Mathematics",
 volume       = "3",
 publisher    = "Cambridge Univ. Press",
)
@inproceedings(JonesP89,
 author       = "C. Jones and G.D. Plotkin",
 year         = "1989",
 title        = "A probabilistic powerdomain of evaluations",
 booktitle    = "Logic in Computer Science",
 organization = "IEEE",
 publisher    = "Computer Science Press",
 pages        = "186--195",
 doi          = "10.1109/LICS.1989.39173",
)
@article(Keimel09,
 author       = "K. Keimel",
 year         = "2009",
 title        = "Abstract ordered compact convex sets and algebras of the (sub)probabilistic power domain monad over ordered compact spaces",
 journal      = "Algebra and Logic",
 volume       = "48(5)",
 pages        = "330--343",
 doi          = "10.1007/s10469-009-9065-x",
)
@article(KeimelRS11,
 author       = "K. Keimel and A. Rosenbusch and T. Streicher",
 year         = "2011",
 title        = "Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language",
 journal      = "Theor. Comp. Sci.",
 volume       = "412",
 pages        = "2701–--2713",
)
@article(Kozen81,
 author       = "D. Kozen",
 year         = "1981",
 title        = "Semantics of probabilistic programs.",
 journal      = "Journ. Comp. Syst. Sci",
 volume       = "22(3)",
 pages        = "328--350",
 doi          = "10.1016/0022-0000(81)90036-2",
)
@inproceedings(Manes69,
 author       = "E.G. Manes",
 year         = "1969",
 title        = "A triple-theoretic construction of compact algebras",
 editor       = "B. Eckman",
 booktitle    = "Seminar on Triples and Categorical Homolgy Theory",
 series       = "Lect. Notes Math.",
 volume       = "80",
 publisher    = "Springer, Berlin",
 pages        = "91--118",
 doi          = "10.1007/BFb0083083",
)
@book(Manes74,
 author       = "E.G. Manes",
 year         = "1974",
 title        = "Algebraic Theories",
 publisher    = "Springer",
 address      = "Berlin",
 doi          = "10.1007/978-1-4612-9860-1",
)
@book(MacLane71,
 author       = "S. \unhbox \voidb@x \hbox {Mac Lane}",
 year         = "1971",
 title        = "Categories for the Working Mathematician",
 publisher    = "Springer",
 address      = "Berlin",
)
@book(McIverM04,
 author       = "A. McIver and C. Morgan",
 year         = "2004",
 title        = "Abstraction, refinement and proof for probabilistic systems",
 series       = "Monographs in Comp. Sci.",
 publisher    = "Springer",
)
@book(Panangaden09,
 author       = "P. Panangaden",
 year         = "2009",
 title        = "Labelled {Markov} Processes",
 publisher    = "Imperial College Press",
 doi          = "10.1142/9781848162891",
)
@article(PulmannovaG98,
 author       = "S. Pulmannov{\'a} and S. Gudder",
 year         = "1998",
 title        = "Representation theorem for convex effect algebras",
 journal      = "Commentationes Mathematicae Universitatis Carolinae",
 volume       = "39(4)",
 pages        = "645--659",
 note         = "Available from \url {http://dml.cz/dmlcz/119041}",
)
@inproceedings(RamseyP02,
 author       = "N. Ramsey and A. Pfeffer",
 year         = "2002",
 title        = "Stochastic lambda calculus and monads of probability distributions",
 booktitle    = "Principles of Programming Languages",
 organization = "ACM Press",
 pages        = "154–--165",
 doi          = "10.1145/503272.503288",
)
@phdthesis(ZanellaBeguelin10,
 author       = "S. {Zanella B{\'e}guelin}",
 year         = "2010",
 title        = "Formal Certification of Game-Based Cryptographic Proofs",
 school       = "{\'E}cole Nationale Sup{\'e}rieure des Mines de Paris",
)