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