@inproceedings(abramskycoecke:categoricalsemantics,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {{A categorical semantics of quantum protocols}},
 booktitle    = {Logic in Computer Science 19},
 publisher    = {IEEE Computer Society},
 pages        = {415--425},
 doi          = {10.1109/lics.2004.1319636},
)
@article(barnum2013symmetry,
 author       = {Howard Barnum and Ross Duncan and Alexander Wilce},
 year         = {2013},
 title        = {Symmetry, compact closure and dagger compactness for categories of convex operational models},
 journal      = {Journal of philosophical logic},
 volume       = {42},
 number       = {3},
 pages        = {501--523},
 doi          = {10.1007/s10992-013-9280-8},
)
@article(Barrett2007InfoGPTs,
 author       = {J. Barrett},
 year         = {2007},
 title        = {{Information processing in generalized probabilistic theories}},
 journal      = {Physical Review A - Atomic, Molecular, and Optical Physics},
 volume       = {75},
 number       = {3},
 doi          = {10.1103/PhysRevA.75.032304},
)
@article(carboni1987cartesian,
 author       = {A. Carboni and R. Walters},
 year         = {1987},
 title        = {Cartesian bicategories {I}},
 journal      = {Journal of pure and applied algebra},
 volume       = {49},
 number       = {1-2},
 pages        = {11--32},
 doi          = {10.1016/0022-4049(87)90121-6},
)
@article(chiribella2014distinguishability,
 author       = {G. Chiribella},
 year         = {2014},
 title        = {Distinguishability and copiability of programs in general process theories},
 note         = {{arXiv:1411.3035}},
)
@article(chiribella2010purification,
 author       = {G. Chiribella and G. M. D'Ariano and P. Perinotti},
 year         = {2010},
 title        = {{Probabilistic theories with purification}},
 journal      = {Physical Review A},
 volume       = {81},
 number       = {6},
 pages        = {62348},
 doi          = {10.1103/physreva.81.062348},
)
@article(PhysRevA.84.012311InfoDerivQT,
 author       = {G. Chiribella and G. M. D'Ariano and P. Perinotti},
 year         = {2011},
 title        = {{Informational derivation of quantum theory}},
 journal      = {Phys. Rev. A},
 volume       = {84},
 number       = {1},
 pages        = {12311},
 doi          = {10.1103/PhysRevA.84.012311},
)
@article(coecke2008axiomatic,
 author       = {B. Coecke},
 year         = {2008},
 title        = {Axiomatic description of mixed states from {S}elinger's {CPM}-construction},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {210},
 pages        = {3--13},
 doi          = {10.1016/j.entcs.2008.04.014},
)
@incollection(coecke2011categories,
 author       = {B. Coecke and E. Paquette},
 year         = {2011},
 title        = {{Categories for the practising physicist}},
 booktitle    = {New Structures for Physics},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {173--286},
 doi          = {10.1007/978-3-642-12821-9_3},
)
@inproceedings(cunningham2017purity,
 author       = {O. Cunningham and C. Heunen},
 year         = {2018},
 title        = {Purity through Factorisation},
 booktitle    = {{Proceedings of the 14th International Conference on} Quantum Physics and Logic},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {266},
 pages        = {315--328},
 doi          = {10.4204/EPTCS.266.20},
)
@article(Hardy2011a,
 author       = {L. Hardy},
 year         = {2011},
 title        = {{Reformulating and Reconstructing Quantum Theory}},
 note         = {{arXiv:1104.2066}},
)
@article(Hardy2012Holism,
 author       = {L. Hardy and W. Wootters},
 year         = {2012},
 title        = {{Limited Holism and Real-Vector-Space Quantum Theory}},
 journal      = {Foundations of Physics},
 volume       = {42},
 number       = {3},
 pages        = {454--473},
 doi          = {10.1007/s10701-011-9616-6},
)
@inproceedings(CatsOfRelations,
 author       = {C. Heunen and S. Tull},
 year         = {2015},
 title        = {Categories of relations as models of quantum theory},
 booktitle    = {{ Proceedings of the 12th International Workshop on} Quantum Physics and Logic},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {195},
 pages        = {247--261},
 doi          = {10.4204/EPTCS.195.18},
)
@article(selby2018reconstructing,
 author       = {J. H. Selby and C. M. Scandolo and B. Coecke},
 year         = {2018},
 title        = {Reconstructing quantum theory from diagrammatic postulates},
 note         = {{arXiv:1802.00367}},
)
@article(selby2016process,
 author       = {John Selby and Bob Coecke},
 year         = {2016},
 title        = {Process-theoretic characterisation of the Hermitian adjoint},
 journal      = {arXiv preprint arXiv:1606.05086},
)
@article(Selinger2007139,
 author       = {P. Selinger},
 year         = {2007},
 title        = {{Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@incollection(selinger2011survey,
 author       = {P. Selinger},
 year         = {2011},
 title        = {{A survey of graphical languages for monoidal categories}},
 booktitle    = {New structures for physics},
 publisher    = {Springer},
 pages        = {289--355},
)
@article(selinger2012finite,
 author       = {Peter Selinger},
 year         = {2012},
 title        = {Finite dimensional Hilbert spaces are complete for dagger compact closed categories},
 journal      = {arXiv preprint arXiv:1207.6972},
)
@article(thesis,
 author       = {S. Tull},
 year         = {2018},
 title        = {Categorical {O}perational {P}hysics. {DP}hil Thesis.},
 note         = {{arXiv:1902.00343}},
)
@article(catreconstruction,
 author       = {S. Tull},
 year         = {2019},
 title        = {A Categorical Reconstruction of Quantum Theory},
 journal      = {Logical Methods in Computer Science},
)
@article(westerbaan2018dagger,
 author       = {B. Westerbaan},
 year         = {2018},
 title        = {Dagger and dilations in the category of von {N}eumann algebras},
 note         = {PhD Thesis. {arXiv:1803.01911}},
)