@article(bub07,
author = {J. Bub},
year = {2007},
title = {{Quantum Probabilities as Degrees of Belief}},
journal = {Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics},
volume = {38},
number = {2},
pages = {232 -- 254},
doi = {10.1016/j.shpsb.2006.09.002},
)
@incollection(chaput,
author = {P. Chaput and V. Danos and P. Panangaden and G. Plotkin},
year = {2009},
title = {Approximating Markov Processes by Averaging},
editor = {S. Albers and Marchetti-Spaccamela, A. and Y. Matias and S. Nikoletseas and W. Thomas},
booktitle = {Automata, Languages and Programming},
series = {Lecture Notes in Computer Science},
volume = {5556},
publisher = {Springer Berlin Heidelberg},
pages = {127--138},
doi = {10.1007/978-3-642-02930-1\_11},
)
@article(coecke12,
author = {B. Coecke and R. Spekkens},
year = {2012},
title = {Picturing classical and quantum Bayesian inference},
journal = {Synthese},
volume = {186},
number = {3},
pages = {651--696},
doi = {10.1007/s11229-011-9917-5},
)
@article(Elitzur93,
author = {A. Elitzur and L. Vaidman},
year = {1993},
title = {Quantum mechanical interaction-free measurements},
journal = {Foundations of Physics},
volume = {23},
number = {7},
pages = {987--997},
doi = {10.1007/BF00736012},
)
@incollection(FurberJ13a,
author = {R. Furber and B. Jacobs},
year = {2013},
title = {{From Kleisli Categories to Commutative C$^*$-Algebras: Probabilistic Gelfand Duality}},
editor = {R. Heckel and S. Milius},
booktitle = {Algebra and Coalgebra in Computer Science},
series = {Lecture Notes in Computer Science},
volume = {8089},
publisher = {Springer Berlin Heidelberg},
pages = {141--157},
doi = {10.1007/978-3-642-40206-7\_12},
)
@article(Jacobs13b,
author = {B. Jacobs},
year = {2013},
title = {{On Block Structures in Quantum Computation}},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {298},
number = {0},
pages = {233 -- 255},
doi = {10.1016/j.entcs.2013.09.016},
note = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, \{MFPS\} \{XXIX\}},
)
@article(newdirections,
author = {B. Jacobs},
year = {2015},
title = {{New Directions in Categorical Logic for Classical, Probabilistic and Quantum Logic}},
journal = {Logical Methods in Computer Science},
volume = {11},
number = {3},
)
@inproceedings(JacobsM12b,
author = {B. Jacobs and J. Mandemaker},
year = {2012},
title = {The Expectation Monad in Quantum Foundations},
editor = {B. Jacobs and P. Selinger and B. Spitters},
booktitle = {Quantum Physics and Logic (QPL) 2011},
series = {Elect. Proc. in Theor. Comp. Sci.},
volume = {95},
pages = {143--182},
doi = {10.4204/EPTCS.95.12},
)
@incollection(JacobsM12c,
author = {B. Jacobs and J. Mandemaker},
year = {2016, to appear},
title = {Relating Operator Spaces via Adjunctions},
editor = {J. Chubb Reimann and V. Harizanov and A. Eskandarian},
booktitle = {Logic and Algebraic Structures in Quantum Computing and Information},
series = {Lect. Notes in Logic},
publisher = {Cambridge Univ. Press},
url = {http://arxiv.org/abs/1201.1272},
)
@article(leifer12,
author = {M. Leifer and R. Spekkens},
year = {2013},
title = {Towards a formulation of quantum theory as a causally neutral theory of {Bayesian} inference},
journal = {Phys. Rev. A},
volume = {88(5)},
pages = {052130},
)
@article(RussoDye66,
author = {B. Russo and H.A. Dye},
year = {1966},
title = {{A Note on Unitary Operators in $C\sp*$-algebras.}},
journal = {Duke Math. J.},
volume = {33},
pages = {413--416},
doi = {10.1215/S0012-7094-66-03346-1},
)
@book(TakesakiI,
author = {Masamichi Takesaki},
year = {2002},
title = {{Theory of Operator Algebra, volume I}},
series = {Encyclopedia of Mathematical Sciences},
volume = {124},
publisher = {Springer Verlag},
doi = {10.1007/978-1-4612-6188-9},
)
@book(TakesakiIII,
author = {Masamichi Takesaki},
year = {2003},
title = {{Theory of Operator Algebras, volume III}},
series = {Encyclopedia of Mathematical Sciences},
volume = {127},
publisher = {Springer Verlag},
doi = {10.1007/978-3-662-10453-8},
)
@article(tomiyama,
author = {Jun Tomiyama},
year = {1957},
title = {{On the Projection of Norm One in W*-algebras}},
journal = {Proceedings of the Japan Academy},
volume = {33},
number = {10},
pages = {608--612},
doi = {10.3792/pja/1195524885},
)