@article(AbramskyS:BigToy,
 author       = {Samson Abramsky},
 year         = {2012},
 title        = {Big toy models - Representing physical systems as {Chu} spaces},
 journal      = {Synthese},
 volume       = {186},
 number       = {3},
 pages        = {697--718},
 doi          = {10.1007/s11229-011-9912-x},
)
@inproceedings(Abramsky-Coecke,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2004},
 title        = {A Categorical Semantics of Quantum Protocols},
 booktitle    = {Proceedings of {LICS} 2004},
 publisher    = {{IEEE} Computer Society},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1},
)
@book(AdamekJ:locpac,
 author       = {Ji{\v r}i Ad{\'a}mek and Ji{\v r}i Rosick{\'y}},
 year         = {1994},
 title        = {Locally Presentable and Accessible Categories},
 series       = {London Mathematical Society Lecture Notes},
 volume       = {189},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511600579},
)
@article(Beltrametti-Bugajski,
 author       = {Enrico G. {Beltrametti} and Slawomir {Bugajski}},
 year         = {1997},
 title        = {{Effect algebras and statistical physical theories}},
 journal      = {Journal of Mathematical Physics},
 volume       = {38},
 pages        = {3020--3030},
 doi          = {10.1063/1.532031},
)
@article(Birkhoff-vonNeumann:LQM,
 author       = {Garrett Birkhoff and John von Neumann},
 year         = {1936},
 title        = {The logic of quantum mechanics},
 journal      = {Annals of Mathematics},
 volume       = {37},
 pages        = {823--843},
 doi          = {10.2307/1968621},
)
@article(Carboni-Walters,
 author       = {Aurelio Carboni and Robert F.C. Walters},
 year         = {1987},
 title        = {Cartesian bicategories, {I}},
 journal      = {J. of Pure and Applied Algebra},
 volume       = {49},
 pages        = {11--32},
 doi          = {10.1016/0022-4049(87)90121-6},
)
@misc(JacobsB:effectus,
 author       = {Kenta Cho and Bart Jacobs and Bas Westerbaan and Abraham Westerbaan},
 year         = {2015},
 title        = {An Introduction to Effectus Theory},
 url          = {http://arxiv.org/abs/1512.05813},
)
@article(Coecke-Duncan:ZX,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {Interacting quantum observables: categorical algebra and diagrammatics},
 journal      = {New Journal of Physics},
 volume       = {13},
 number       = {4},
 pages        = {80pp},
 doi          = {10.1088/1367-2630/13/4/043016},
 note         = {Arxiv:0906.4725},
)
@inproceedings(CoeckeB:ComQuantLog,
 author       = {Bob Coecke and Chris Heunen and Aleks Kissinger},
 year         = {2013},
 title        = {Compositional quantum logic},
 editor       = {Bob Coecke and Luke Ong and Prakash Panangaden},
 booktitle    = {Computation, Logic, Games, and Quantum Foundations},
 pages        = {21--36},
 doi          = {10.1007/978-3-642-38164-5{\_}3},
)
@inproceedings(Coecke-Kissinger:anti,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2010},
 title        = {The Compositional Structure of Multipartite Quantum Entanglement},
 booktitle    = {Proceedings of {ICALP} 2010, Part {II}},
 pages        = {297--308},
 doi          = {10.1007/978-3-642-14162-1{\_}25},
)
@inproceedings(CoeckeB:arithmetic,
 author       = {Bob Coecke and Aleks Kissinger and Alex Merry and Shibdas Roy},
 year         = {2010},
 title        = {The GHZ/W-calculus contains rational arithmetic},
 editor       = {Farid M. Ablayev and Bob Coecke and Alexander Vasiliev},
 booktitle    = {{CSR} Workshop on High Productivity Computations, {HPC} 2010},
 series       = {{EPTCS}},
 volume       = {52},
 pages        = {34--48},
)
@incollection(PavlovicD:CQStruct,
 author       = {Bob Coecke and \'{E}ric Oliver Paquette and {Dusko Pavlovic}},
 year         = {2009},
 title        = {Classical and quantum structuralism},
 editor       = {Simon Gay and Ian Mackie},
 booktitle    = {Semantical Techniques in Quantum Computation},
 publisher    = {Cambridge University Press},
 pages        = {29--69},
 doi          = {10.1017/CBO9781139193313.003},
)
@incollection(PavlovicD:QMWS,
 author       = {Bob Coecke and Dusko Pavlovic},
 year         = {2007},
 title        = {Quantum measurements without sums},
 editor       = {G. Chen and L. Kauffman and S. Lamonaco},
 booktitle    = {Mathematics of Quantum Computing and Technology},
 publisher    = {Taylor and Francis},
 pages        = {36pp},
 doi          = {10.1201/9781584889007.ch16},
 url          = {http://arxiv.org/abs/quant-ph/0608035},
)
@article(PavlovicD:MSCS13,
 author       = {Bob Coecke and Dusko Pavlovic and Jamie Vicary},
 year         = {2013},
 title        = {A new description of orthogonal bases},
 journal      = {Math. Structures in Comp. Sci.},
 volume       = {23},
 number       = {3},
 pages        = {555--567},
 doi          = {10.1017/S0960129512000047},
 url          = {http://arxiv.org/abs/0810.0812},
)
@article(Foulis-Bennett,
 author       = {David J Foulis and Mary Katherine Bennett},
 year         = {1994},
 title        = {Effect algebras and unsharp quantum logics},
 journal      = {Foundations of Physics},
 volume       = {24},
 number       = {10},
 pages        = {1331--1352},
 doi          = {10.1007/BF02283036},
)
@book(Freyd-Scedrov:book,
 author       = {Peter Freyd and Andre Scedrov},
 year         = {1990},
 title        = {Categories, Allegories},
 series       = {Mathematical Library},
 volume       = {39},
 publisher    = {North-Holland},
)
@inproceedings(GogiosoS:relations,
 author       = {Stefano Gogioso},
 year         = {2015},
 title        = {A Bestiary of Sets and Relations},
 editor       = {Chris Heunen and Peter Selinger and Jamie Vicary},
 booktitle    = {{\rm Proceedings QPL 2015}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {195},
 publisher    = {Open Publishing Association},
 pages        = {208--227},
 doi          = {10.4204/EPTCS.195.16},
)
@article(GudderS:effect,
 author       = {Stanley Gudder},
 year         = {1997},
 title        = {Effect test spaces and effect algebras},
 journal      = {Foundations of Physics},
 volume       = {27},
 number       = {2},
 pages        = {287--304},
 doi          = {10.1007/BF02550455},
)
@inproceedings(AmarH:LICS15,
 author       = {Amar Hadzihasanovic},
 year         = {2015},
 title        = {A Diagrammatic Axiomatisation for Qubit Entanglement},
 booktitle    = {Symposium on Logic in Computer Science {(LICS)} 2015},
 publisher    = {{IEEE} Computer Society},
 pages        = {573--584},
 doi          = {10.1109/LICS.2015.59},
)
@inproceedings(HeunenC:relations,
 author       = {Chris Heunen and Sean Tull},
 year         = {2015},
 title        = {Categories of relations as models of quantum theory},
 editor       = {Chris Heunen and Peter Selinger and Jamie Vicary},
 booktitle    = {{\rm Proceedings of QPL 2015}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {195},
 publisher    = {Open Publishing Association},
 pages        = {247--261},
 doi          = {10.4204/EPTCS.195.18},
)
@article(JacobsB:NewDir,
 author       = {Bart 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},
 doi          = {10.2168/LMCS-11(3:24)2015},
)
@article(Kelly-Laplaza,
 author       = {G. Max Kelly and Manuel L. Laplaza},
 year         = {1980},
 title        = {Coherence for compact closed categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {19},
 pages        = {193 -- 213},
 doi          = {10.1016/0022-4049(80)90101-2},
)
@article(Mermin:moon,
 author       = {{N. David} Mermin},
 year         = {1985},
 title        = {Is the moon there when nobody looks? Reality and the quantum theory},
 journal      = {Physics Today},
 pages        = {38--47},
 doi          = {10.1063/1.880968},
)
@article(MilnerR:fully-abstract,
 author       = {Robin Milner},
 year         = {1977},
 title        = {Fully abstract models of typed $\lambda$-calculi},
 journal      = {Theoretical Computer Science},
 volume       = {4},
 number       = {1},
 pages        = {1 -- 22},
 doi          = {10.1016/0304-3975(77)90053-6},
)
@book(Neumann:foundations,
 author       = {John von Neumann},
 year         = {1955},
 title        = {Mathematical Foundations of Quantum Mechanics},
 series       = {Investigations in physics},
 publisher    = {Princeton University Press},
)
@book(Neumann:continuous,
 author       = {John von Neumann},
 year         = {1960},
 title        = {Continuous Geometry},
 series       = {Princeton Landmarks in Mathematics and Physics},
 publisher    = {Princeton University Press},
)
@article(PavlovicD:mapsI,
 author       = {Dusko Pavlovic},
 year         = {1995},
 title        = {Maps {I}: relative to a factorisation system},
 journal      = {J.~Pure Appl. Algebra},
 volume       = {99},
 pages        = {9--34},
 doi          = {10.1016/0022-4049(94)00054-M},
)
@article(PavlovicD:mapsII,
 author       = {Dusko Pavlovic},
 year         = {1996},
 title        = {Maps {II}: Chasing diagrams in categorical proof theory},
 journal      = {J. of the IGPL},
 volume       = {4},
 number       = {2},
 pages        = {1--36},
 doi          = {10.1093/jigpal/4.2.159},
)
@inproceedings(PavlovicD:QI09,
 author       = {Dusko Pavlovic},
 year         = {2009},
 title        = {Quantum and classical structures in nondeterministic computation},
 editor       = {Peter Bruza and Don Sofge and {van Rijsbergen}, Keith},
 booktitle    = {Proceedings of Quantum Interaction 2009},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {5494},
 publisher    = {Springer Verlag},
 pages        = {143--158},
 doi          = {10.1007/978-3-642-00834-4{\_}13},
 url          = {http://arxiv.org/abs/0812.2266},
)
@article(PavlovicD:QPL09,
 author       = {Dusko Pavlovic},
 year         = {2011},
 title        = {Relating toy models of quantum computation: comprehension, complementarity and dagger autonomous categories},
 journal      = {E. Notes in Theor. Comp. Sci.},
 volume       = {270},
 number       = {2},
 pages        = {121--139},
 doi          = {10.1016/j.entcs.2011.01.027},
 url          = {http://arxiv.org/abs/1006.1011},
)
@article(PavlovicD:Qabs12,
 author       = {Dusko Pavlovic},
 year         = {2012},
 title        = {Geometry of abstraction in quantum computation},
 journal      = {Proceedings of Symposia in Applied Mathematics},
 volume       = {71},
 pages        = {233--267},
 doi          = {10.1090/psapm/071/607},
 url          = {http://arxiv.org/abs/1006.1010},
)
@article(Foulis-Randall:test,
 author       = {C. H. Randall and D. J. Foulis},
 year         = {1970},
 title        = {An Approach to Empirical Logic},
 journal      = {The American Mathematical Monthly},
 volume       = {77},
 number       = {4},
 pages        = {363--374},
 doi          = {10.2307/2316143},
)
@article(RedeiM:why,
 author       = {Mikl{\'o}s R{\'e}dei},
 year         = {1996},
 title        = {Why {John von Neumann} did not like the {Hilbert Space} formalism of quantum mechanics (and what he liked instead)},
 journal      = {Studies in History and Philosophy of Modern Physics},
 volume       = {27},
 number       = {4},
 pages        = {493--510},
 doi          = {10.1016/S1355-2198(96)00017-2},
)
@article(SelingerP:CPM,
 author       = {Peter Selinger},
 year         = {2007},
 title        = {Dagger Compact Closed Categories and Completely Positive Maps},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@article(SpekkensR:toy,
 author       = {Robert W. Spekkens},
 year         = {2007},
 title        = {In defense of the epistemic view of quantum states: a toy theory},
 journal      = {Physical Review A},
 volume       = {75},
 pages        = {032110},
 doi          = {10.1103/PhysRevA.75.032110},
)