@book(Borceux94,
author = {F.~Borceux},
year = {1994},
title = {Handbook of Categorical Algebra},
series = {Encyclopedia of Mathematics},
volume = {50, 51 and 52},
publisher = {Cambridge Univ. Press},
doi = {10.1017/CBO9780511525858},
)
@article(BuschS98,
author = {P.~Busch and J.~Singh},
year = {1998},
title = {L{\"u}ders theorem for unsharp quantum measurements},
journal = {Phys. Letters A},
volume = {249},
pages = {10--12},
doi = {10.1016/S0375-9601(98)00704-X},
)
@article(Carboni93,
author = {A.~Carboni and S.~Lack and R.~F.~C. Walters},
year = {1993},
title = {Introduction to extensive and distributive categories},
journal = {Journal of Pure and Applied Algebra},
volume = {84},
number = {2},
pages = {145--158},
doi = {10.1016/0022-4049(93)90035-R},
)
@inproceedings(Cho15,
author = {K.~Cho},
year = {2015},
title = {Total and Partial Computation in Categorical Quantum Foundations},
booktitle = {QPL 2015},
note = {To appear},
)
@book(CignoliDM00,
author = {R.~Cignoli and I.~D'Ottaviano and D.~Mundici},
year = {2000},
title = {Algebraic foundations of many-valued reasoning},
series = {Trends in Logic},
volume = {7},
publisher = {Springer},
doi = {10.1007/978-94-015-9480-6},
)
@incollection(furber13,
author = {R.~Furber and B.~Jacobs},
year = {2013},
title = {{From {K}leisli categories to commutative $C^*$-algebras: Probabilistic {G}elfand duality}},
booktitle = {Algebra and Coalgebra in Computer Science},
publisher = {Springer},
pages = {141--157},
doi = {10.1007/978-3-642-40206-7_12},
)
@book(Grandis12,
author = {M.~Grandis},
year = {2012},
title = {Homological Algebra: The Interplay of Homology with Distributive Lattices and Orthodox Semigroups},
publisher = {World Scientific},
address = {Singapore},
doi = {10.1142/8483},
)
@article(gudder2,
author = {S.~Gudder and G.~Nagy},
year = {2001},
title = {Sequential quantum measurements},
journal = {Journal of Mathematical Physics},
volume = {42},
pages = {5212--5222},
doi = {10.1063/1.1407837},
)
@book(halmos57,
author = {P.~Halmos},
year = {1957},
title = {Introduction to Hilbert space and the theory of spectral multiplicity},
publisher = {Chelsea New York},
)
@book(Jacobs99,
author = {B.~Jacobs},
year = {1999},
title = {Categorical logic and type theory},
publisher = {North Holland},
address = {Amsterdam},
)
@inproceedings(Jacobs13,
author = {B.~Jacobs},
year = {2013},
title = {Measurable spaces and their effect logic},
booktitle = {Logic in Computer Science},
organization = {IEEE},
publisher = {Computer Science Press},
doi = {10.1109/LICS.2013.13},
)
@article(Jacobs14,
author = {B.~Jacobs},
year = {2015},
title = {New directions in categorical logic, for classical, probabilistic and quantum Logic},
journal = {Logical Methods in Computer Science},
note = {To appear. \hskip.11emplus.33emminus.07em{arXiv}:1205.3940v4 [math.LO]},
)
@article(Janelidze14,
author = {Z.~Janelidze},
year = {2014},
title = {On the Form of Subobjects in Semi-Abelian and Regular Protomodular Categories},
journal = {Appl. Categorical Struct.},
volume = {22},
number = {5--6},
pages = {755--766},
doi = {10.1007/s10485-013-9355-2},
)
@book(Johnstone82,
author = {P.~Johnstone},
year = {1982},
title = {Stone spaces},
series = {Cambridge Studies in Advanced Mathematics},
volume = {3},
publisher = {Cambridge Univ. Press},
)
@article(MacLane50,
author = {S.~{Mac Lane}},
year = {1950},
title = {Duality for groups},
journal = {Bull. Amer. Math. Soc.},
volume = {56},
pages = {485--516},
doi = {10.1090/S0002-9904-1950-09427-0},
)
@article(murray36,
author = {F.~J. Murray and J.~v. Neumann},
year = {1936},
title = {On rings of operators},
journal = {Annals of Mathematics},
pages = {116--229},
doi = {10.2307/1968693},
)
@book(NielsenC10,
author = {M.~A. Nielsen and I.~L. Chuang},
year = {2010},
title = {Quantum computation and quantum information},
publisher = {Cambridge university press},
doi = {10.1017/CBO9780511976667},
)
@article(DiNolaL14,
author = {A.~D. Nola and I.~Leu\c{s}tean},
year = {2014},
title = {{{\L}ukasiewicz} logic and {Riesz} spaces},
journal = {Soft Computing},
volume = {18},
number = {12},
pages = {2349--2363},
doi = {10.1007/s00500-014-1348-z},
)
@book(paulsen2002,
author = {V.~Paulsen},
year = {2002},
title = {Completely bounded maps and operator algebras},
volume = {78},
publisher = {Cambridge University Press},
)
@book(sakai71,
author = {S.~Sakai},
year = {1971},
title = {C*-algebras and W*-algebras},
volume = {60},
publisher = {Springer Science \& Business Media},
doi = {10.1007/978-3-642-61993-9},
)
@unpublished(Weighill14,
author = {T.~Weighill},
year = {2014},
title = {Bifibrational duality in non-abelian algebra and the theory of databases},
note = {MSc Thesis},
)
@unpublished(WesterbaanW15,
author = {B.~Westerbaan and A.~Westerbaan},
year = {2015},
title = {A universal property of sequential measurement},
note = {Preprint is available at \url{http://westerbaan.name/~bas/math/univ-prop-seq-prod.pdf}},
)
@article(yosida41,
author = {K.~Yosida},
year = {1941},
title = {On vector lattice with a unit},
journal = {Proceedings of the Imperial Academy},
volume = {17},
number = {5},
pages = {121--124},
doi = {10.3792/pia/1195578821},
)