A categorical semantics of quantum protocols

S. Abramsky B. Coecke 2004 A categorical semantics of quantum protocols Logic in Computer Science IEEE Computer Science Press 415–425 10.1109/LICS.2004.1319636 S. Abramsky B. Coecke 2009 A categorical semantics of quantum protocols K. Engesser Dov M. Gabbai D. Lehmann Handbook of Quantum Logic and Quantum Structures North Holland, Elsevier Computer Science Press 261–323 E.M. Alfsen 1971 Compact Convex Sets and Boundary Integrals Ergebnisse der Mathematik und ihrer Grenzgebiete 57 Springer L. Asimow A.J. Ellis 1980 Convexity Theory and its Applications in Functional Analysis Academic Press

New York

P. Audebaud C. Paulin-Mohring 2009 Proofs of randomized algorithms in Coq Science of Comput. Progr. 74(8) 568––589 10.1016/j.scico.2007.09.002 J. Baez M. Stay 2011 Physics, topology, logic and computation: a Rosetta Stone New structures for physics 95–172 10.1007/978-3-642-12821-9_2 H.P. Barendregt 1984 The Lambda Calculus. Its Syntax and Semantics 2nd rev. North-Holland

Amsterdam

M. Barr Ch. Wells 1985 Toposes, Triples and Theories Springer, Berlin Revised and corrected version available from URL: www.cwru.edu/artsci/math/wells/pub/ttt.html G. Barthe B. Grégoire S. Zanella Béguelin 2009 Formal certification of code-based cryptographic proofs Principles of Programming Languages ACM Press 90––101 10.1145/1480881.1480894 F. Borceux 1994 Handbook of Categorical Algebra Encyclopedia of Mathematics 50, 51 and 52 Cambridge Univ. Press 10.1017/CBO9780511525858 P. Busch 2003 Quantum states and generalized observables: a simple proof of Gleason's theorem Phys. Review Letters 91(12):120403 1–4 10.1103/PhysRevLett.91.120403 R. Cookea M. Keanea W. Morana 1985 Stably continuous frames Math. Proc. Cambridge Phil. Soc. 98 117–128 E. D'Hondt P. Panangaden 2006 Quantum weakest preconditions Math. Struct. in Comp. Sci. 16(3) 429–451 10.1017/S0960129506005251 A. Dvurečenskij 1992 Gleason's Theorem and Its Applications Mathematics and its Applications 60 Kluwer Acad. Publ.

Dordrecht

A. Dvurečenskij S. Pulmannová 2000 New Trends in Quantum Structures Kluwer Acad. Publ.

Dordrecht

M. Giry 1982 A categorical approach to probability theory B. Banaschewski Categorical Aspects of Topology and Analysis Lect. Notes Math. 915 Springer, Berlin 68–85 10.1007/BFb0092872 A. Gleason 1957 Measures on the closed subspaces of a Hilbert space Journ. Math. Mech. 6 885–893 S. Gudder 1998 Morphisms, tensor products and σ-effect algebras Reports on Math. Phys. 42 321–346 10.1016/S0034-4877(99)80003-2 B. Jacobs 2010 Convexity, duality, and effects C.S. Calude V. Sassone IFIP Theoretical Computer Science 2010 IFIP Adv. in Inf. and Comm. Techn. 82(1) Springer, Boston 1–19 10.1007/978-3-642-15240-5_1 B. Jacobs 2011 Probabilities, Distribution Monads, and Convex Categories Theor. Comp. Sci. 412(28) 3323–3336 10.1016/j.tcs.2011.04.005 B. Jacobs J. Mandemaker 2012 Coreflections in Algebraic Quantum Logic Found. of Physics From: Quantum Physics and Logic (QPL) 2010 P.T. Johnstone 1982 Stone Spaces Cambridge Studies in Advanced Mathematics 3 Cambridge Univ. Press C. Jones G.D. Plotkin 1989 A probabilistic powerdomain of evaluations Logic in Computer Science IEEE Computer Science Press 186–195 10.1109/LICS.1989.39173 K. Keimel 2009 Abstract ordered compact convex sets and algebras of the (sub)probabilistic power domain monad over ordered compact spaces Algebra and Logic 48(5) 330–343 10.1007/s10469-009-9065-x K. Keimel A. Rosenbusch T. Streicher 2011 Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language Theor. Comp. Sci. 412 2701––2713 D. Kozen 1981 Semantics of probabilistic programs. Journ. Comp. Syst. Sci 22(3) 328–350 10.1016/0022-0000(81)90036-2 E.G. Manes 1969 A triple-theoretic construction of compact algebras B. Eckman Seminar on Triples and Categorical Homolgy Theory Lect. Notes Math. 80 Springer, Berlin 91–118 10.1007/BFb0083083 E.G. Manes 1974 Algebraic Theories Springer

Berlin

10.1007/978-1-4612-9860-1 S. \voidb@x Mac Lane 1971 Categories for the Working Mathematician Springer

Berlin

A. McIver C. Morgan 2004 Abstraction, refinement and proof for probabilistic systems Monographs in Comp. Sci. Springer P. Panangaden 2009 Labelled Markov Processes Imperial College Press 10.1142/9781848162891 S. Pulmannová S. Gudder 1998 Representation theorem for convex effect algebras Commentationes Mathematicae Universitatis Carolinae 39(4) 645–659 Available from http://dml.cz/dmlcz/119041 N. Ramsey A. Pfeffer 2002 Stochastic lambda calculus and monads of probability distributions Principles of Programming Languages ACM Press 154––165 10.1145/503272.503288 S. Zanella Béguelin 2010 Formal Certification of Game-Based Cryptographic Proofs École Nationale Supérieure des Mines de Paris