@incollection(abramsky95,
 author       = {Samson Abramsky and Achim Jung},
 year         = {1995},
 title        = {{Domain Theory}},
 editor       = {Samson Abramsky and Dov M. Gabbay and Thomas S. E. Maibaum},
 booktitle    = {{Handbook of Logic in Computer Science, volume 3}},
 publisher    = {Oxford University Press},
)
@book(banach,
 author       = {Stefan Banach},
 year         = {1932},
 title        = {{Th\'eorie des Op\'erations Lin\'eaires}},
 series       = {Monografie Matematyczne},
 volume       = {1},
 publisher    = {Instytut Matematyczny Polskiej Akademii Nauk},
)
@article(barnum2010,
 author       = {Howard Barnum and Jonathan Barrett and Lisa Orloff Clark and Matthew Leifer and Robert Spekkens and Nicholas Stepanik and Alex Wilce and Robin Wilke},
 year         = {2010},
 title        = {Entropy and information causality in general probabilistic theories},
 journal      = {New Journal of Physics},
 volume       = {12},
 number       = {3},
 pages        = {033024},
 doi          = {10.1088/1367-2630/12/3/033024},
)
@article(barrett07,
 author       = {Jonathan Barrett},
 year         = {2007},
 title        = {{Information Processing in Generalized Probabilistic Theories}},
 journal      = {Physical Review A},
 volume       = {75},
 pages        = {032304},
 doi          = {10.1103/PhysRevA.75.032304},
)
@book(Borceux94,
 author       = {Francis Borceux},
 year         = {1994},
 title        = {{Handbook of Categorical Algebra}},
 series       = {Encyclopedia of Mathematics and Its Applications},
 volume       = {50, 51 and 52},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511525858},
)
@book(dunford,
 author       = {Nelson Dunford and Jacob T. Schwartz},
 year         = {1957},
 title        = {{Linear Operators, Part 1: General Theory}},
 series       = {Pure and Applied Mathematics},
 volume       = {VII},
 publisher    = {Interscience Publishers},
)
@article(ershov1973,
 author       = {Yuri L. Ershov},
 year         = {1973},
 title        = {{The Theory of A-spaces}},
 journal      = {Algebra and Logic},
 volume       = {12},
 number       = {4},
 pages        = {209--232},
 doi          = {10.1007/BF02218570},
)
@phdthesis(furberthesis,
 author       = {Robert Furber},
 year         = {2017},
 title        = {{Categorical Duality in Probability and Quantum Foundations}},
 school       = {Radboud Universiteit Nijmegen},
 note         = {Link available at \url{http://www.robertfurber.com}},
)
@inproceedings(furber2019,
 author       = {Robert Furber},
 year         = {2019},
 title        = {{Categorical Equivalences from State-Effect Adjunctions}},
 editor       = {Peter Selinger and Giulio Chiribella},
 booktitle    = {{\rm Proceedings of the 15th International Conference on} Quantum Physics and Logic, {\rm Halifax, Canada, 3-7th June 2018}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {287},
 publisher    = {Open Publishing Association},
 pages        = {107--126},
 doi          = {10.4204/EPTCS.287.6},
)
@article(gross2010,
 author       = {David Gross and Markus M\"uller and Roger Colbeck and Oscar C. O. Dahlsten},
 year         = {2010},
 title        = {{All Reversible Dynamics in Maximally Nonlocal Theories are Trivial}},
 journal      = {Physical Review Letters},
 volume       = {104},
 pages        = {080402},
 doi          = {10.1103/PhysRevLett.104.080402},
)
@article(Gudder1973,
 author       = {Stanley Gudder},
 year         = {1973},
 title        = {{Convex Structures and Operational Quantum Mechanics}},
 journal      = {Communications in Mathematical Physics},
 volume       = {29},
 number       = {3},
 pages        = {249--264},
 doi          = {10.1007/BF01645250},
)
@article(PulmannovaG98,
 author       = {Stanley Gudder and Sylvia Pulmannov\'a},
 year         = {1998},
 title        = {{Representation Theorem for Convex Effect Algebras}},
 journal      = {Commentationes Mathematicae Universitatis Carolinae},
 volume       = {39},
 number       = {4},
 pages        = {645 -- 659},
)
@book(olsen,
 author       = {Hanche-Olsen, Harald and St{\o}rmer, Erling},
 year         = {1984},
 title        = {{Jordan Operator Algebras}},
 publisher    = {Pitman Publishing},
)
@article(hardy2007,
 author       = {Lucien Hardy},
 year         = {2007},
 title        = {{Towards Quantum Gravity: A Framework for Probabilistic Theories with Non-fixed Causal Structure}},
 journal      = {Journal of Physics A: Mathematical and Theoretical},
 volume       = {40},
 number       = {12},
 pages        = {3081--3099},
 doi          = {10.1088/1751-8113/40/12/s12},
)
@incollection(Jacobs10e,
 author       = {Bart Jacobs},
 year         = {2010},
 title        = {{Convexity, Duality and Effects}},
 editor       = {Cristian S. Calude and Vladimiro Sassone},
 booktitle    = {Theoretical Computer Science},
 series       = {IFIP Advances in Information and Communication Technology},
 volume       = {323},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {1--19},
 doi          = {10.1007/978-3-642-15240-5_1},
)
@inproceedings(JacobsM12b,
 author       = {Bart Jacobs and Jorik Mandemaker},
 year         = {2012},
 title        = {{The Expectation Monad in Quantum Foundations}},
 editor       = {Bart Jacobs and Peter Selinger and Bas Spitters},
 booktitle    = {Quantum Physics and Logic (QPL) 2011},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {95},
 pages        = {143--182},
 doi          = {10.4204/EPTCS.95.12},
)
@book(handbookbanach,
 editor       = {Bill B. Johnson and Joram Lindenstrauss},
 year         = {2001},
 title        = {{Handbook of the Geometry of Banach Spaces}},
 publisher    = {North-Holland},
)
@article(jordan,
 author       = {Pascual Jordan and John von Neumann and Eugene Wigner},
 year         = {1934},
 title        = {{On an Algebraic Generalization of the Quantum Mechanical Formalism}},
 journal      = {Annals of Mathematics},
 volume       = {35},
 number       = {1},
 pages        = {29--64},
 doi          = {10.2307/1968117},
)
@article(kadison56,
 author       = {Richard V. Kadison},
 year         = {1956},
 title        = {{Operator Algebras with a Faithful Weakly-Closed Representation}},
 journal      = {Annals of Mathematics},
 volume       = {64},
 number       = {1},
 pages        = {175--181},
 doi          = {10.2307/1969954},
)
@book(maclane,
 author       = {Mac Lane, Saunders},
 year         = {1971},
 title        = {{Categories for the Working Mathematician}},
 series       = {Graduate Texts in Mathematics},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-1-4612-9839-7},
)
@article(Neumann1970,
 author       = {Walter D. Neumann},
 year         = {1970},
 title        = {{On the Quasivariety of Convex Subsets of Affine Spaces}},
 journal      = {Archiv der Mathematik},
 volume       = {21},
 number       = {1},
 pages        = {11--16},
 doi          = {10.1007/BF01220869},
)
@article(ozawa80,
 author       = {Masanao Ozawa},
 year         = {1980},
 title        = {{Optimal Measurements for General Quantum Systems}},
 journal      = {Reports on Mathematical Physics},
 volume       = {18},
 pages        = {11--28},
 doi          = {10.1016/0034-4877(80)90036-1},
)
@misc(plotkinpisa,
 author       = {Gordon Plotkin},
 year         = {1983},
 title        = {{Domains (Pisa Notes)}},
 howpublished = {\url{http://homepages.inf.ed.ac.uk/gdp/publications/Domains_a4.ps}},
)
@mastersthesis(rennelaMSc,
 author       = {Mathys Rennela},
 year         = {2013},
 title        = {{Operator Algebras in Quantum Computation}},
 school       = {Universit\'e Paris 7 Diderot},
 note         = {\url{http://arxiv.org/abs/1510.06649}},
)
@book(Sakai71,
 author       = {Sh\^oichir\^o Sakai},
 year         = {1971},
 title        = {{C$^*$-algebras and W$^*$-algebras}},
 series       = {Ergebnisse der Mathematik und ihrer Grenzgebiete},
 volume       = {60},
 publisher    = {Springer},
)
@book(schaefer,
 author       = {Helmut H. Schaefer},
 year         = {1966},
 title        = {{Topological Vector Spaces}},
 series       = {Graduate Texts in Mathematics},
 volume       = {3},
 publisher    = {Springer Verlag},
)
@incollection(scott72,
 author       = {Dana Scott},
 year         = {1972},
 title        = {{Continuous Lattices}},
 editor       = {F. William Lawvere},
 booktitle    = {{Toposes, Algebraic Geometry and Logic}},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {97--136},
 doi          = {10.1007/BFb0073967},
)
@article(Stone1949,
 author       = {Marshall H. Stone},
 year         = {1949},
 title        = {{Postulates for the Barycentric Calculus}},
 journal      = {Annali di Matematica Pura ed Applicata},
 volume       = {29},
 number       = {1},
 pages        = {25--30},
 doi          = {10.1007/BF02413910},
)
@misc(swirszcz75,
 author       = {Tadeusz \'Swirszcz},
 year         = {1975},
 title        = {{Monadic Functors and Categories of Convex Sets}},
 howpublished = {Institute of Mathematics of the Polish Academy of Sciences, Preprint 70},
)
@book(takesaki,
 author       = {Masamichi Takesaki},
 year         = {1979},
 title        = {{Theory of Operator Algebra}},
 volume       = {1},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-1-4612-6188-9},
)
@article(topping1966,
 author       = {David M. Topping},
 year         = {1966},
 title        = {{An Isomorphism Invariant for Spin Factors}},
 journal      = {Journal of Mathematics and Mechanics},
 volume       = {15},
 number       = {6},
 pages        = {1055--1063},
)
@article(versteeg09,
 author       = {Ver Steeg, Greg and Stephanie Wehner},
 year         = {2009},
 title        = {{Relaxed Uncertainty Relations and Information Processing}},
 journal      = {Quantum Information and Computation},
 volume       = {9},
 pages        = {0801--0832},
)