@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},
)