@inproceedings(zh,
 author       = {Miriam Backens and Aleks Kissinger},
 year         = {2019},
 title        = {{ZH}: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity},
 booktitle    = {Proceedings of the 15th International Conference on Quantum Physics and Logic},
 volume       = {287},
 publisher    = {Open Publishing Association},
 pages        = {23--42},
 doi          = {10.4204/eptcs.287.2},
)
@unpublished(functorial,
 author       = {Filippo Bonchi and Dusko Pavlovic and Pawel Sobocinski},
 year         = {2017},
 title        = {Functorial semantics for relational theories},
 url          = {https://arxiv.org/pdf/1711.08699.pdf},
 note         = {ArXiv preprint},
)
@article(linrel,
 author       = {Filippo Bonchi and Pawe{\l} Soboci{\'n}ski and Fabio Zanasi},
 year         = {2017},
 title        = {Interacting Hopf algebras},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {221},
 number       = {1},
 pages        = {144--184},
 doi          = {10.1016/j.jpaa.2016.06.002},
 url          = {https://arxiv.org/pdf/1403.7048.pdf},
)
@article(multirelations,
 author       = {Roberto Bruni and Fabio Gadducci},
 year         = {2003},
 title        = {Some algebraic laws for spans (and their connections with multirelations)},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {44},
 number       = {3},
 pages        = {175--193},
 doi          = {10.1016/S1571-0661(04)80937-X},
)
@unpublished(butz,
 author       = {Carsten Butz},
 year         = {1998},
 title        = {Regular categories and regular logic},
 url          = {https://www.brics.dk/LS/98/2/BRICS-LS-98-2.pdf},
)
@article(carboni,
 author       = {Aurelio Carboni and Robert FC 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},
 url          = {https://core.ac.uk/download/pdf/82513341.pdf},
)
@inproceedings(zxstar,
 author       = {Titouan Carette and Emmanuel Jeandel},
 year         = {2020},
 title        = {A Recipe for Quantum Graphical Languages},
 editor       = {Artur Czumaj and Anuj Dawar and Emanuela Merelli},
 booktitle    = {47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {168},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {118:1--118:17},
 doi          = {10.4230/LIPIcs.ICALP.2020.118},
)
@article(lawvere,
 author       = {Eugenia Cheng},
 year         = {2020},
 title        = {Distributive laws for Lawvere theories},
 journal      = {Compositionality},
 volume       = {2},
 pages        = {1},
 doi          = {10.32408/compositionality-2-1},
)
@inproceedings(tof,
 author       = {JRB Cockett and Cole Comfort},
 year         = {2019},
 title        = {The Category {TOF}},
 booktitle    = {Proceedings 15th International Conference on Quantum Physics and Logic},
 volume       = {287},
 publisher    = {Open Publishing Association},
 pages        = {67--84},
 doi          = {10.4204/eptcs.287.4},
)
@article(resti,
 author       = {JRB Cockett and Stephen Lack},
 year         = {2002},
 title        = {Restriction categories I: categories of partial maps},
 journal      = {Theoretical computer science},
 volume       = {270},
 number       = {1-2},
 pages        = {223--259},
 doi          = {10.1016/S0304-3975(00)00382-0},
 url          = {https://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS_06/RestrictionsI.pdf},
)
@article(restiii,
 author       = {JRB Cockett and Stephen Lack},
 year         = {2007},
 title        = {Restriction categories III: colimits, partial limits and extensivity},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {17},
 number       = {4},
 pages        = {775--817},
 doi          = {10.1017/S0960129507006056},
 url          = {https://arxiv.org/pdf/math/0610500.pdf},
)
@inproceedings(cnot,
 author       = {Robin Cockett and Cole Comfort and Priyaa Srinivasan},
 year         = {2018},
 title        = {The Category {CNOT}},
 booktitle    = {Proceedings 14th International Conference on Quantum Physics and Logic},
 volume       = {266},
 publisher    = {Open Publishing Association},
 pages        = {258--293},
 doi          = {10.4204/eptcs.266.18},
)
@article(coecke2016pictures,
 author       = {Bob Coecke and Chris Heunen},
 year         = {2016},
 title        = {Pictures of complete positivity in arbitrary dimension},
 journal      = {Information and Computation},
 volume       = {250},
 pages        = {50--58},
 doi          = {10.1016/j.ic.2016.02.007},
 url          = {https://arxiv.org/pdf/1110.3055.pdf},
)
@article(coecke2016categories,
 author       = {Bob Coecke and Chris Heunen and Aleks Kissinger},
 year         = {2016},
 title        = {Categories of quantum and classical channels},
 journal      = {Quantum Information Processing},
 volume       = {15},
 number       = {12},
 pages        = {5179--5209},
 doi          = {10.1007/s11128-014-0837-4},
 url          = {https://arxiv.org/pdf/1305.3821.pdf},
)
@book(pqp,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing quantum processes},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(coecke2008classical,
 author       = {Bob Coecke and Eric Oliver Paquette and Dusko Pavlovic},
 year         = {2009},
 title        = {Classical and quantum structuralism},
 journal      = {Semantic Techniques in Quantum Computation},
 pages        = {29--69},
 doi          = {10.1017/CBO9781139193313.003},
 url          = {https://arxiv.org/pdf/0904.1997.pdf},
)
@inproceedings(coecke2010environment,
 author       = {Bob Coecke and Simon Perdrix},
 year         = {2010},
 title        = {Environment and classical channels in categorical quantum mechanics},
 booktitle    = {International Workshop on Computer Science Logic},
 organization = {Springer},
 pages        = {230--244},
 doi          = {10.2168/LMCS-8(4:14)2012},
 url          = {https://arxiv.org/pdf/1004.1598.pdf},
)
@inproceedings(coecke2017two,
 author       = {Bob Coecke and John Selby and Sean Tull},
 year         = {2018},
 title        = {Two Roads to Classicality},
 booktitle    = {Proceedings 14th International Conference on Quantum Physics and Logic},
 volume       = {266},
 publisher    = {Open Publishing Association},
 pages        = {104--118},
 doi          = {10.4204/eptcs.266.7},
)
@mastersthesis(Cole,
 author       = {Cole Comfort},
 year         = {2019},
 title        = {Classifying Reversible Logic Gates with Ancillary Bits},
 school       = {University of Calgary},
 url          = {http://pages.cpsc.ucalgary.ca/~robin/Theses/ucalgary_2019_comfort_cole.pdf},
)
@inproceedings(natspiders,
 author       = {{de Beaudrap}, Niel and Aleks Kissinger and Konstantinos Meichanetzidis},
 year         = {2020},
 title        = {Satisfiability and Counting with Graphical Calculi},
 booktitle    = {Proceedings 17th International Conference on Quantum Physics and Logic},
 publisher    = {Open Publishing Association},
 url          = {https://arxiv.org/pdf/2004.06455.pdf},
)
@inproceedings(duncan,
 author       = {Ross Duncan and Kevin Dunne},
 year         = {2016},
 title        = {Interacting Frobenius Algebras are Hopf},
 booktitle    = {2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 organization = {IEEE},
 pages        = {1--10},
 doi          = {10.1145/2933575.2934550},
 url          = {https://arxiv.org/pdf/1601.04964.pdf},
)
@phdthesis(giles,
 author       = {Brett Giles},
 year         = {2014},
 title        = {An investigation of some theoretical aspects of reversible computing},
 school       = {University of Calgary},
 doi          = {10.11575/PRISM/24917},
)
@mastersthesis(herrmann,
 author       = {Michael Herrmann},
 year         = {2010},
 title        = {Models of multipartite entanglement},
 school       = {University of Oxford},
 url          = {http://www.cs.ox.ac.uk/people/bob.coecke/Michael.pdf},
)
@incollection(elltwo,
 author       = {Chris Heunen},
 year         = {2013},
 title        = {On the functor $\ell^2$},
 booktitle    = {Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky},
 publisher    = {Springer},
 pages        = {107--121},
 doi          = {10.1007/978-3-642-38164-5\_8},
 url          = {https://arxiv.org/pdf/1012.4526.pdf},
)
@inproceedings(Iwama,
 author       = {Kazuo Iwama and Yahiko Kambayashi and Shigeru Yamashita},
 year         = {2002},
 title        = {Transformation rules for designing CNOT-based quantum circuits},
 booktitle    = {Proceedings of the 39th annual Design Automation Conference},
 pages        = {419--424},
 doi          = {10.1109/DAC.2002.1012662},
)
@article(lack2004composing,
 author       = {Stephen Lack},
 year         = {2004},
 title        = {Composing props},
 journal      = {Theory and Applications of Categories},
 volume       = {13},
 number       = {9},
 pages        = {147--163},
 url          = {http://www.tac.mta.ca/tac/volumes/13/9/13-09.pdf},
)
@article(lafont,
 author       = {Yves Lafont},
 year         = {2003},
 title        = {Towards an algebraic theory of boolean circuits},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {184},
 number       = {2-3},
 pages        = {257--310},
 doi          = {10.1016/S0022-4049(03)00069-0},
 url          = {https://core.ac.uk/download/pdf/82687279.pdf},
)
@unpublished(munson2019note,
 author       = {Anthony Munson and Bob Coecke and Quanlong Wang},
 year         = {2019},
 title        = {A note on AND-gates in ZX-calculus: QBC-completeness and phase gadgets},
 url          = {https://arxiv.org/pdf/1910.06818.pdf},
 note         = {ArXiv preprint},
)
@phdthesis(piedeleu,
 author       = {Robin Piedeleu},
 year         = {2018},
 title        = {Picturing resources in concurrency},
 school       = {University of Oxford},
 url          = {http://www.cs.ox.ac.uk/people/bob.coecke/Robin_P.pdf},
)
@article(pcat,
 author       = {Edmund Robinson and Giuseppe Rosolini},
 year         = {1988},
 title        = {Categories of partial maps},
 journal      = {Information and computation},
 volume       = {79},
 number       = {2},
 pages        = {95--130},
 doi          = {10.1016/0890-5401(88)90034-X},
 url          = {https://core.ac.uk/download/pdf/82816866.pdf},
)
@article(rosebrugh2002distributive,
 author       = {Robert Rosebrugh and Richard J Wood},
 year         = {2002},
 title        = {Distributive laws and factorization},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {175},
 number       = {1-3},
 pages        = {327--353},
 doi          = {10.1016/S0022-4049(02)00140-8},
 url          = {https://core.ac.uk/download/pdf/82048781.pdf},
)
@article(selinger2007dagger,
 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},
 url          = {https://mathstat.dal.ca/~selinger/papers/dagger.pdf},
)
@unpublished(ringZX,
 author       = {Quanlong Wang},
 year         = {2019},
 title        = {ZX-calculus over arbitrary commutative rings and semirings},
 url          = {https://arxiv.org/pdf/1912.01003.pdf},
 note         = {ArXiv preprint},
)
@unpublished(zhpi,
 author       = {John van de Wetering and Sal Wolffs},
 year         = {2019},
 title        = {Completeness of the Phase-free ZH-calculus},
 url          = {https://arxiv.org/pdf/1904.07545.pdf},
 note         = {ArXiv preprint},
)