@inproceedings(adams-qpel,
 author       = {R. Adams},
 year         = {2014},
 title        = {{Q}{P}{E}{L}: Quantum programming and effect language},
 booktitle    = {Proc.~QPL 2014},
 doi          = {10.4204/EPTCS.172.10},
)
@inproceedings(aj-comet,
 author       = {R. Adams and B. Jacobs},
 year         = {2015},
 title        = {A Type Theory for Probabilistic and Bayesian Reasoning},
 booktitle    = {TYPES'15},
 doi          = {10.4230/LIPIcs.TYPES.2015.1},
)
@article(baez2017props,
 author       = {J.C. Baez and B. Coya and F. Rebro},
 year         = {2017},
 title        = {Props in network theory},
 journal      = {arXiv preprint arXiv:1707.08321},
)
@article(bonchi2017interacting,
 author       = {F. Bonchi and P. Soboci{\'n}ski and F. 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},
)
@article(purification,
 author       = {G. Chiribella and G.M. D'Ariano and P. Perinotti},
 year         = {2010},
 title        = {Probabilistic theories with purification},
 journal      = {P.R. A},
 volume       = {81},
 doi          = {10.1103/PhysRevA.81.062348},
)
@unpublished(cjww-effectus,
 author       = {K. Cho and B. Jacobs and B. Westerbaan and A. Westerbaan},
 year         = {2015},
 title        = {An Introduction to Effectus Theory},
 note         = {ArXiv:1512.05813},
)
@inproceedings(coecke-cp,
 author       = {B. Coecke},
 year         = {2006},
 title        = {Axiomatic description of mixed states from {S}elinger's {C}{P}{M}-construction.},
 booktitle    = {QPL'06},
 doi          = {10.1016/j.entcs.2008.04.014},
)
@article(cpstar,
 author       = {B. Coecke and C. Heunen and A. Kissinger},
 year         = {2016},
 title        = {Categories of quantum and classical channels},
 journal      = {Quantum Information Processing},
 pages        = {5179--5209},
 doi          = {10.1007/s11128-014-0837-4},
)
@book(ck-pictures,
 author       = {B. Coecke and A. Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes},
 publisher    = {CUP},
 doi          = {10.1017/9781316219317},
)
@inproceedings(ch-ax-cp,
 author       = {O. Cunningham and C. Heunen},
 year         = {2015},
 title        = {Axiomatizing complete positivity},
 booktitle    = {Proc.~QPL 2015},
 doi          = {10.4204/EPTCS.195.11},
)
@inproceedings(ch-purity,
 author       = {O. Cunningham and C. Heunen},
 year         = {2017},
 title        = {Purity through factorisation},
 booktitle    = {Proc.~QPL 2017},
 doi          = {10.4204/EPTCS.266.20},
)
@article(hermida-tennent,
 author       = {C. Hermida and R.D. Tennent},
 year         = {2012},
 title        = {Monoidal indeterminates and categories of possible worlds},
 journal      = {Theoretical Computer Science},
 volume       = {430},
 pages        = {3--22},
 doi          = {10.1016/j.tcs.2012.01.001},
 note         = {Special issue for MFPS 2009},
)
@article(jacobs-affine,
 author       = {B. Jacobs},
 year         = {1994},
 title        = {Semantics of weakening and contraction},
 journal      = {Annals Pure Appl. Logic},
 volume       = {69},
 pages        = {73--103},
 doi          = {10.1016/0168-0072(94)90020-5},
)
@inproceedings(jeandel2018complete,
 author       = {E. Jeandel and S. Perdrix and R. Vilmart},
 year         = {2018},
 title        = {A complete axiomatisation of the ZX-calculus for Clifford+ T quantum mechanics},
 booktitle    = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
 organization = {ACM},
 pages        = {559--568},
 doi          = {10.1145/3209108.3209131},
)
@article(joyalstreet,
 author       = {A. Joyal and R. Street},
 year         = {1993},
 title        = {Braided tensor categories},
 journal      = {Adv. Math.},
 volume       = {102},
 pages        = {20--78},
 doi          = {10.1006/aima.1993.1055},
)
@unpublished(ktw-qkd,
 author       = {A. Kissinger and S. Tull and B. Westerbaan},
 year         = {2017},
 title        = {Picture-perfect Quantum Key Distribution},
 note         = {ArXiv:1704.08668},
)
@inproceedings(ku-causal,
 author       = {A. Kissinger and S. Uijlen},
 year         = {2017},
 title        = {A categorical semantics for causal structure},
 booktitle    = {Proc.~LICS 2017},
 doi          = {10.1109/LICS.2017.8005095},
)
@article(cts-stinespring,
 author       = {D. Kretschmann and D. Schlingemann and R.F. Werner},
 year         = {2008},
 title        = {A continuity theorem for Stinespring's dilation},
 journal      = {J. Func. Analysis},
 volume       = {255},
 pages        = {1889--1904},
 doi          = {10.1016/j.jfa.2008.07.023},
)
@incollection(laplaza,
 author       = {M.L. Laplaza},
 year         = {1972},
 title        = {Coherence for distributivity},
 booktitle    = {LNM 281},
 pages        = {29--65},
 doi          = {10.1007/BFb0059555},
)
@book(maclane,
 author       = {Mac Lane, S.},
 year         = {1997},
 title        = {Categories for the working mathematician},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-4721-8},
)
@inproceedings(selinger-cpm,
 author       = {P. Selinger},
 year         = {2005},
 title        = {Dagger compact closed categories and completely positive maps},
 booktitle    = {Proc.~QPL 2005},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@article(sv-qlambda,
 author       = {P. Selinger and B. Valiron},
 year         = {2006},
 title        = {A lambda calculus for quantum computation with classical control},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {16},
 pages        = {527--552},
 doi          = {10.1017/S0960129506005238},
)
@inproceedings(staton-popl15,
 author       = {S. Staton},
 year         = {2015},
 title        = {{Algebraic effects, linearity, and quantum programming languages}},
 booktitle    = {Proc.~POPL'15},
 doi          = {10.1145/2676726.2676999},
)
@article(tennent,
 author       = {R.D. Tennent},
 year         = {1990},
 title        = {Semantical analysis of specification logic},
 journal      = {Inform. Comput.},
 volume       = {85},
 pages        = {135--162},
 doi          = {10.1016/0890-5401(90)90045-J},
)
@inproceedings(tull-otp,
 author       = {S. Tull},
 year         = {2016},
 title        = {Operational Theories of Physics as Categories},
 booktitle    = {Proc.~QPL 2016},
)
@incollection(walker-substructural,
 author       = {D. Walker},
 year         = {2002},
 title        = {Substructural Type Systems},
 booktitle    = {Advanced Topics in Types and Programming Languages},
 publisher    = {MIT Press},
 pages        = {3--43},
)
@inproceedings(ww-paschke,
 author       = {A. Westerbaan and B. Westerbaan},
 year         = {2016},
 title        = {Paschke Dilations},
 booktitle    = {Proc.~QPL 2016},
 doi          = {10.4204/EPTCS.236.15},
)
@unpublished(wilde,
 author       = {M.M. Wilde},
 year         = {2016},
 title        = {From Classical to Quantum Shannon Theory},
 note         = {ArXiv:1106.1445},
)
@unpublished(wolf,
 author       = {M.M. Wolf},
 year         = {2012},
 title        = {Quantum Channels \& Operations: Guided Tour},
 note         = {\url{https://www-m5.ma.tum.de/foswiki/pub/M5/Allgemeines/MichaelWolf/QChannelLecture.pdf}},
)