@inproceedings(axelsenglueck:whatdo,
 author       = {H. B. Axelsen and R. Gl\"{u}ck},
 year         = {2011},
 title        = {What do reversible programs compute?},
 editor       = {M. Hofmann},
 booktitle    = {Proceedings of the 14th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS 2011)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6604},
 publisher    = {Springer},
 pages        = {42--56},
 doi          = {10.1007/978-3-540-70583-3_22},
)
@article(bennett:logicalrev,
 author       = {C. H. Bennett},
 year         = {1973},
 title        = {Logical reversibility of computation},
 journal      = {IBM Journal of Research and Development},
 volume       = {17},
 number       = {6},
 pages        = {525--532},
 doi          = {10.1147/rd.176.0525},
)
@article(cockettlack:restcat1,
 author       = {J. R. B. Cockett and S. Lack},
 year         = {2002},
 title        = {Restriction categories {I}: {C}ategories of partial maps},
 journal      = {Theoretical Computer Science},
 volume       = {270},
 number       = {1--2},
 pages        = {223--259},
 doi          = {10.1016/S0304-3975(00)00382-0},
)
@unpublished(comfort:zxamp,
 author       = {C. Comfort},
 year         = {2020},
 title        = {The ZX\& calculus: A complete graphical calculus for classical circuits using spiders},
 note         = {{arXiv preprint} \href{https://arxiv.org/abs/2004.05287}{2004.05287}},
)
@phdthesis(giles:thesis,
 author       = {B. G. Giles},
 year         = {2014},
 title        = {An Investigation of some Theoretical Aspects of Reversible Computing},
 school       = {University of Calgary},
 doi          = {10.11575/PRISM/24917},
)
@article(glueckkaarsgaard:flowcharts,
 author       = {R. Gl{\"u}ck and R. Kaarsgaard},
 year         = {2018},
 title        = {A categorical foundation for structured reversible flowchart languages: Soundness and adequacy},
 journal      = {Logical Methods in Computer Science},
 volume       = {14},
 number       = {3},
 doi          = {10.23638/LMCS-14(3:16)2018},
)
@inproceedings(gluecketal:revsem,
 author       = {R. Gl{\"u}ck and R. Kaarsgaard and T. Yokoyama},
 year         = {2020},
 title        = {Reversible programs have reversible semantics},
 editor       = {Emil Sekerinski and Nelma Moreira},
 booktitle    = {FM'19 Workshops},
 series       = {Lecture Notes in Computer Science},
 volume       = {12233},
 publisher    = {Springer-Verlag},
 pages        = {413--427},
 doi          = {10.1016/j.tcs.2015.07.046},
)
@article(hermidatennent:indeterminates,
 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},
)
@phdthesis(heunen:thesis,
 author       = {C. Heunen},
 year         = {2009},
 title        = {Categorical quantum models and logics},
 school       = {Radboud University Nijmegen},
 doi          = {10.5117/9789085550242},
)
@book(heunenvicary:cqt,
 author       = {C. Heunen and J. Vicary},
 year         = {2019},
 title        = {Categories for Quantum Theory},
 publisher    = {Oxford University Press},
 doi          = {10.1093/oso/9780198739623.001.0001},
)
@inproceedings(huotstaton:universal,
 author       = {M. Huot and S. Staton},
 year         = {2018},
 title        = {Universal properties in quantum theory},
 editor       = {P. Selinger and G. Chiribella},
 booktitle    = {Proceedings of the 15th International Conference on Quantum Physics and Logic (QPL 2018)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {287},
 publisher    = {Open Publishing Association},
 pages        = {213--224},
 doi          = {10.4204/EPTCS.287.12},
)
@inproceedings(huotstaton:completion,
 author       = {M. Huot and S. Staton},
 year         = {2019},
 title        = {Quantum channels as a categorical completion},
 booktitle    = {34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)},
 publisher    = {IEEE},
 pages        = {1--13},
 doi          = {10.1109/LICS.2019.8785700},
)
@article(kaarsgaardaxelsenglueck:recursion,
 author       = {R. Kaarsgaard and H. B. Axelsen and R. Gl\"{u}ck},
 year         = {2017},
 title        = {Join inverse categories and reversible recursion},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {87},
 pages        = {33--50},
 doi          = {10.1016/j.jlamp.2016.08.003},
)
@incollection(kastl:inverse,
 author       = {J. Kastl},
 year         = {1979},
 title        = {Inverse categories},
 editor       = {Hans-J{\"u}rgen Hoehnke},
 booktitle    = {Algebraische Modelle, Kategorien und Gruppoide},
 series       = {Studien zur Algebra und ihre Anwendungen},
 volume       = {7},
 publisher    = {Akademie-Verlag},
 pages        = {51--60},
)
@article(landauer:irreversibility,
 author       = {R. Landauer},
 year         = {1961},
 title        = {Irreversibility and heat generation in the computing process},
 journal      = {IBM Journal of Research and Development},
 volume       = {5},
 number       = {3},
 pages        = {183--191},
 doi          = {10.1147/rd.53.0183},
)
@unpublished(renner:lecturenotes,
 author       = {R. Renner},
 year         = {2011},
 title        = {Quantum Information Theory},
 note         = {Lecture notes},
)
@article(soekenetal:embedding,
 author       = {M. Soeken and R. Wille and O. Keszocze and D. M. Miller and R. Drechsler},
 year         = {2015},
 title        = {Embedding of large Boolean functions for reversible logic},
 journal      = {ACM Journal on Emerging Technologies in Computing Systems (JETC)},
 volume       = {12},
 number       = {4},
 pages        = {1--26},
 doi          = {10.1016/j.vlsi.2013.08.002},
)
@article(stinespring:positive,
 author       = {W. F. Stinespring},
 year         = {1955},
 title        = {Positive functions on C*-algebras},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {6},
 number       = {2},
 pages        = {211--216},
 doi          = {10.2307/2032342},
)
@inproceedings(westerbaan:paschke,
 author       = {A. Westerbaan and B. Westerbaan},
 year         = {2016},
 title        = {Paschke Dilations},
 editor       = {R. Duncan and C. Heunen},
 booktitle    = {Proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {236},
 publisher    = {Open Publishing Association},
 pages        = {229--244},
 doi          = {10.4204/EPTCS.236.15},
)