@inproceedings(AbramskyEtAl2015:ContextualityCohomology,
 author       = {Samson Abramsky and Rui Soares Barbosa and Kohei Kishida and Raymond Lal and Shane Mansfield},
 year         = {2015},
 title        = {Contextuality, Cohomology and Paradox},
 booktitle    = {Annual Conference on Computer Science Logic},
 pages        = {211--228},
 doi          = {10.4230/LIPIcs.CSL.2015.211},
)
@article(AbramskyBrandenburger2011:UnifiedSheafTheoretic,
 author       = {Samson Abramsky and Adam Brandenburger},
 year         = {2011},
 title        = {A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality},
 journal      = {CoRR},
 volume       = {abs/1102.0264},
 url          = {http://stacks.iop.org/1367-2630/13/i=11/a=113036},
)
@inproceedings(AbramskyCoecke2004:CategoricalSemantics,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2004},
 title        = {A Categorical Semantics of Quantum Protocols},
 booktitle    = {Symposium on Logic in Computer Science},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@inbook(AbramskyHeunen2012:HAlgebras,
 author       = {Samson Abramsky and Chris Heunen},
 year         = {2012},
 title        = {H* -algebras and nonunital Frobenius algebras: First steps in infinite dimensional categorical quantum mechanics},
 pages        = {14--37},
 volume       = {71},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/psapm/071},
)
@incollection(Bohr1949:DiscussionWithEinstein,
 author       = {Niels Bohr},
 year         = {1949},
 title        = {Discussion with {E}instein on Epistemological Problems in Atomic Physics},
 editor       = {Paul Arthur Schilpp},
 booktitle    = {The Library of Living Philosophers, Albert {E}instein: Philosopher-Scientist},
 volume       = {7},
 publisher    = {Open Court},
 doi          = {10.1016/s1876-0503(08)70379-7},
)
@inproceedings(CoeckeEdwards2008:ToyQuantum,
 author       = {Bob Coecke and Bill Edwards},
 year         = {2011},
 title        = {Toy Quantum Categories (Extended Abstract)},
 booktitle    = {Electr. Notes Theor. Comput. Sci.},
 volume       = {270},
 pages        = {29--40},
 doi          = {10.1016/j.entcs.2011.01.004},
)
@inproceedings(CoeckeEtAl2008:NewDescriptionOrthogonal,
 author       = {Bob Coecke and Dusko Pavlovic and Jamie Vicary},
 year         = {2013},
 title        = {A new description of orthogonal bases},
 booktitle    = {Mathematical Structures in Computer Science},
 volume       = {23},
 pages        = {555--567},
 doi          = {10.1017/s0960129512000047},
)
@book(Conway2000:ACourseInOperatorTheory,
 author       = {John B. Conway},
 year         = {2000},
 title        = {A Course in Operator Theory},
 series       = {Graduate Studies in Mathematics},
 volume       = {21},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/gsm/021},
)
@incollection(Doering2008:WhatIsAThing,
 author       = {Andreas Doering and Chris Isham},
 year         = {2011},
 title        = {What is a Thing?},
 editor       = {Bob Coecke},
 booktitle    = {New Structures in Physics},
 chapter      = {13},
 publisher    = {Springer},
 address      = {Heidelberg},
 pages        = {753--940},
 doi          = {10.1007/978-3-642-12821-9\_13},
)
@inbook(Dunne2016:NewPerspective,
 author       = {Kevin Dunne},
 year         = {2017},
 title        = {A New Perspective on Observables in the Category of Relations: A Spectral Presheaf for Relations},
 pages        = {252--264},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-319-52289-0\_20},
)
@inproceedings(Dunne2017:OnTheStructure,
 author       = {Kevin Dunne},
 year         = {2017},
 title        = {On the Structure of Abstract {H}*--Algebras},
 booktitle    = {Quantum Physics and Logic},
)
@book(Flori2013:Topos,
 author       = {Cecilia Flori},
 year         = {2013},
 title        = {A First Course in Topos Quantum Theory},
 publisher    = {Springer--Verlag},
 doi          = {10.1007/978-3-642-35713-8},
)
@book(GivantHalmos2009:BooleanAlgebras,
 author       = {Steven Givant and Paul Halmos},
 year         = {2009},
 title        = {Introduction to Boolean Algebras},
 publisher    = {Springer--Verlag},
 doi          = {10.1007/978-0-387-68436-9\_2},
)
@inproceedings(GogiosoZeng2015:MerminNonlocality,
 author       = {Stefano Gogioso and William Zeng},
 year         = {2015},
 title        = {Mermin Non-Locality in Abstract Process Theories},
 booktitle    = {Proceedings 12th International Workshop on Quantum Physics and Logic},
 pages        = {228--246},
 doi          = {10.4204/eptcs.195.17},
)
@book(Golan1992:TheoryOfSemirings,
 author       = {Jonathan S Golan},
 year         = {1992},
 title        = {The Theory of Semirings with Applications in Mathematics and Theoretical Computer Science},
 publisher    = {Longman Group UK Limited},
)
@inproceedings(Heunen2008:SemimoduleEnrichment,
 author       = {Chris Heunen},
 year         = {2008},
 title        = {Semimodule Enrichment},
 booktitle    = {Electr. Notes Theor. Comput. Sci.},
 volume       = {218},
 pages        = {193--208},
 doi          = {10.1016/j.entcs.2008.10.012},
)
@inproceedings(IshamButterfield1998:AToposPerspective,
 author       = {Chris Isham and Jeremy Butterfield},
 title        = {A Topos Perspective on the {K}ochen-{S}pecker Theorem: I. Quantum States as Generalised Valuations},
 url          = {arXiv:quant-ph/9803055},
)
@book(Isham1995:LecturesOnQuantumTheory,
 author       = {Chris J. Isham},
 year         = {1995},
 title        = {Lectures on Quantum Theory: Mathematical and Structural Foundations},
 publisher    = {Imperial College Press},
 doi          = {10.1142/p00},
)
@book(Johnstone1982:StoneSpaces,
 author       = {Peter T. Johnstone},
 year         = {1982},
 title        = {Stone Spaces},
 publisher    = {Cambridge University Press},
)
@inproceedings(KellyLaplaza1980:CoherenceForCompact,
 author       = {Gregory M. Kelly and Miguel L. Laplaza},
 year         = {1980},
 title        = {Coherence for Compact Closed Categories},
 booktitle    = {Journal of Pure and Applied Algebra},
 volume       = {19},
 pages        = {193--213},
 doi          = {10.1016/0022-4049(80)90101-2},
)
@inproceedings(KochenSpecker1975:LogicalStructures,
 author       = {S. Kochen and E. P. Specker},
 year         = {1975},
 title        = {Logical Structures Arising in Quantum Theory},
 booktitle    = {The Logico-Algebraic Approach to Quantum Mechanics},
 pages        = {263--276},
 doi          = {10.1007/978-94-010-1795-4\_15},
)
@book(Mitchell1965:TheoryOfCategories,
 author       = {Barry Mitchell},
 year         = {1965},
 title        = {Theory of Categories},
 publisher    = {New York Academic Press},
)
@book(Nestruev2003:SmoothManifoldsAndObservables,
 author       = {Jet Nestruev},
 year         = {2003},
 title        = {Smooth Manifolds and Observables},
 series       = {Graduate Texts in Mathematics},
 volume       = {220},
 publisher    = {Springer--Verlag New York, Inc.},
 doi          = {10.1007/b98871},
)
@book(Rosenthal1990:Quantales,
 author       = {Kimmo .I. Rosenthal},
 year         = {1990},
 title        = {Quantales and their applications},
 series       = {Pitman research notes in mathematics series},
 publisher    = {Longman Scientific \& Technical},
)
@book(Smith2014:AlgebraicGeometry,
 author       = {Justin R. Smith},
 year         = {2014},
 title        = {Introduction to Algebraic Geometry},
 publisher    = {Five Dimensions Press},
)
@inproceedings(Spekkens2007:Epistemic,
 author       = {Robert W. Spekkens},
 year         = {2007},
 title        = {Evidence for the epistemic view of quantum states},
 booktitle    = {Phys. Rev. A},
 volume       = {75},
 doi          = {10.1103/physreva.75.032110},
)