@inproceedings(AbC04,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.},
 organization = {IEEE},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@article(Bar06,
 author       = {Michel Barr},
 year         = {2006},
 title        = {The {C}hu construction: history of an idea},
 journal      = {Theory and Applications of Categories},
 volume       = {17},
 number       = {1},
 pages        = {10--16},
)
@article(BCS96,
 author       = {Richard Blute and Robin Cockett and Robert Seely},
 year         = {1996},
 title        = {! and ? - {Storage} as tensorial strength},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {6},
 number       = {4},
 pages        = {313 -- 351},
 doi          = {10.1017/S0960129500001055},
)
@article(BCST96,
 author       = {Richard Blute and Robin Cockett and Robert Seely and Todd Trimble},
 year         = {1996},
 title        = {Natural deduction and coherence for weakly distributive categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {113},
 number       = {3},
 pages        = {229 -- 296},
 doi          = {10.1016/0022-4049(95)00159-X},
 url          = {http://www.sciencedirect.com/science/article/pii/002240499500159X},
)
@inproceedings(BPS94,
 author       = {Richard Blute and Prakash Panangaden and Robert AG Seely},
 year         = {1994},
 title        = {Fock space: a model of linear exponential types},
 booktitle    = {Proceedings of Ninth Conf. on Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science},
 volume       = {802},
 publisher    = {Springer},
 pages        = {1 -- 25},
)
@article(CCS18,
 author       = {Robin {Cockett} and Cole {Comfort} and Priyaa {Srinivasan}},
 year         = {2018},
 title        = {{Dagger linear logic for categorical quantum mechanics}},
 journal      = {ArXiv e-prints},
 eprint       = {1809.00275},
)
@article(CKS00,
 author       = {Robin Cockett and J\"urgen Koslowski and Robert Seely},
 year         = {2000},
 title        = {Introduction to linear bicategories},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {10},
 number       = {2},
 pages        = {165--203},
 doi          = {10.1017/S0960129520003047},
)
@article(CS97,
 author       = {Robin Cockett and Robert Seely},
 year         = {1997},
 title        = {Weakly distributive categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {114},
 number       = {2},
 pages        = {133--173},
 doi          = {10.1016/0022-4049(95)00160-3},
)
@article(CS19,
 author       = {Robin Cockett and Priyaa Srinivasan},
 year         = {2019},
 title        = {Complete Positivity for Mixed Unitary Categories},
 journal      = {arXiv preprint arXiv:1905.08877},
)
@misc(CoS21,
 author       = {Robin Cockett and Priyaa Srinivasan},
 year         = {2021},
 title        = {Exponential modalities and Complementarity},
 eprint       = {2103.05191v1},
)
@article(CoD11,
 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        = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
)
@book(CoA17,
 author       = {Bob Coecke and Alex Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@incollection(CoP07,
 author       = {Bob Coecke and Dusko Pavlovic},
 year         = {2007},
 title        = {Quantum measurements without sums},
 booktitle    = {Mathematics of Quantum Computation and Quantum Technology},
 publisher    = {Taylor and Francis},
 pages        = {577--620},
)
@article(CPV13,
 author       = {Bob Coecke and Dusko Pavlovic and Jamie Vicary},
 year         = {2013},
 title        = {A new description of orthogonal bases},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {23},
 number       = {3},
 pages        = {555--567},
 doi          = {10.1017/S0960129512000047},
)
@article(Egg10,
 author       = {Jeff Egger},
 year         = {2010},
 title        = {The Frobenius relations meet linear distributivity.},
 journal      = {Theory and Applications of Categories},
 volume       = {24},
 pages        = {25--38},
)
@article(Ehr05,
 author       = {Thomas Ehrhard},
 year         = {2005},
 title        = {Finiteness spaces},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {15},
 number       = {4},
 pages        = {615--646},
 doi          = {10.1017/S0960129504004645},
)
@article(Gir87,
 author       = {Jean-Yves Girard},
 year         = {1987},
 title        = {Linear logic},
 journal      = {Theoretical computer science},
 volume       = {50},
 number       = {1},
 pages        = {1--101},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@book(Gri18,
 author       = {David J Griffiths and Darrell F Schroeter},
 year         = {2018},
 title        = {Introduction to quantum mechanics},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316995433},
)
@book(HeV19,
 author       = {Chris Heunen and Jamie Vicary},
 year         = {2019},
 title        = {Categories for Quantum Theory: An Introduction},
 volume       = {28},
 publisher    = {Oxford Graduate Texts in Mathematics},
 doi          = {10.1093/oso/9780198739623.001.0001},
)
@phdthesis(Laf88,
 author       = {Yves Lafont},
 year         = {1988},
 title        = {Logiques, cat\'egories \& machines: Implantation de langages de programmation guid\'e par la logique cat\'egorique},
 school       = {Universit\'e Paris Diderot - Paris},
 address      = {[S.l.] : [s.n.], 1988},
)
@article(Sel07,
 author       = {Peter Selinger},
 year         = {2007},
 title        = {Dagger compact closed categories and completely positive maps},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@article(Sel08,
 author       = {Peter Selinger},
 year         = {2008},
 title        = {Idempotents in dagger categories},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {210},
 pages        = {107--122},
 doi          = {10.1016/j.entcs.2008.04.021},
)
@article(Vic08,
 author       = {Jamie Vicary},
 year         = {2008},
 title        = {A categorical framework for the quantum harmonic oscillator},
 journal      = {International Journal of Theoretical Physics},
 volume       = {47},
 number       = {12},
 pages        = {3408--3447},
 doi          = {10.1007/s10773-008-9772-4},
)