Samson Abramsky
Adam Brandenburger
2011
The Sheaf-Theoretic Structure of Non-Locality and Contextuality
New Journal of Physics
13
113036
10.1088/1367-2630/13/11/113036
Samson Abramsky
Shane Mansfield
Rui Soares Barbosa
2012
Presheaf Models for Concurrency
Bart Jacobs
Peter Selinger
Bas Spitters
Proceedings 8th International Workshop on Quantum Physics and Logic (QPL 2011)
Electronic Proceedings in Theoretical Computer Science
95
1–14
10.4204/EPTCS.95.1
John Baez
Tobias Fritz
Tom Leinster
2011
A Characterization of Entropy in Terms of Information Loss
http://arxiv.org/abs/1106.1791
Alexandru Baltag
Sonja Smets
2006
LQP: The Dynamic Logic of Quantum Information
Mathematical Structures in Computer Science
16
491–525
10.1017/S0960129506005299
Jonathan Barrett
2007
Information Processing in Generalized Probabilistic Theories
Physical Review A
75
032304
10.1103/PhysRevA.75.032304
Aurelio Carboni
Robert F. C. Walters
1987
Cartesian Bicategories I
Journal of Pure and Applied Algebra
49
11–32
10.1016/0022-4049(87)90121-6
Gian Luca Cattani
Glynn Winskel
1997
Presheaf Models for Concurrency
Dirk van Dalen
Marc Bezem
Computer Science Logic: 10th International Workshop, CSL'96
Lecture Notes in Computer Science
1258
Springer
58–75
10.1007/3-540-63172-0_32
Ernst-Erich Doberkat
2007
Stochastic Relations: Foundations for Markov Transition Systems
Chapman & Hall/CRC
10.1201/9781584889427
Brendan Fong
2012
Causal Theories: A Categorical Perspective on Bayesian Networks
University of Oxford
Peter J. Freyd
Andre Scedrov
1990
Categories, Allegories
North-Holland
Tobias Fritz
2009
A Presentation of the Category of Stochastic Matrices
http://arxiv.org/abs/0902.2554
Michèle Giry
1982
A Categorical Approach to Probability Theory
B. Banaschewski
Categorical Aspects of Topology and Analysis
Lecture Notes in Mathematics
915
Springer
68–85
10.1007/BFb0092872
Lucien Hardy
1993
Nonlocality for Two Particles without Inequalities for Almost All Entangled States
Physical Review Letters
71
1665–1668
10.1103/PhysRevLett.71.1665
David Harel
Dexter Kozen
Jerzy Tiuryn
2000
Dynamic Logic
MIT Press
Claudio Hermida
2011
A Categorical Outlook on Relational Modalities and Simulations
Information and Computation
209
1505–1517
10.1016/j.ic.2010.09.009
Bart Jacobs
2010
Convexity, Duality and Effects
Christian S. Calude
Vladimiro Sassone
Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010
Springer
1–19
10.1007/978-3-642-15240-5_1
Bart Jacobs
2011
Probabilities, Distribution Monads, and Convex Categories
Theoretical Computer Science
412
3323–3336
10.1016/j.tcs.2011.04.005
F. William Lawvere
1962
The Category of Probabilistic Mappings
Unpublished manuscript
Ernie Manes
Philip Mulry
2007
Monad Compositions I: General Constructions and Recursive Distributive Laws
Theory and Applications of Categories
18
172–208
http://www.tac.mta.ca/tac/volumes/18/7/18-07abs.html
N. David Mermin
1981
Quantum Mysteries for Anyone
Journal of Philosophy
78
397–408
10.2307/2026482
Prakash Panangaden
1998
Probabilistic Relations
C. Baier
M. Huth
M. Kwiatkowska
M. Ryan
Preliminary Proceedings of PROBMIV'98
59–74
Prakash Panangaden
1999
The Category of Markov Kernels
Electronic Notes in Theoretical Computer Science
22
171–187
10.1016/S1571-0661(05)80602-4
Sandu Popescu
Daniel Rohrlich
1994
Quantum Nonlocality as an Axiom
Foundations of Physics
24
397–385
10.1007/BF02058098
Kimmo I. Rosenthal
1996
The Theory of Quantaloids
Addison Wesley
PawełSobociński
2012
Relational Presheaves as Labelled Transition Systems
Dirk Pattinson
Lutz Schröder
Coalgebraic Methods in Computer Science
Lecture Notes in Computer Science
7399
Springer
40–50
10.1007/978-3-642-32784-1_3
Daniele Varacca
2003
Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation
University of Aarhus
Glynn Winskel
Mogens Nielsen
1997
Presheaves as Transition Systems
Doron Peled
Vaughan R. Pratt
Gerard J. Holzmann
Partial Order Methods in Verification: DIMACS Workshop July 24–26, 1996
American Mathematical Society
129–140