@inproceedings(abramsky-horsman,
 author       = {Samson Abramsky and Dominic Horsman},
 year         = {2015},
 title        = {{DEMONIC} programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics},
 editor       = {Chris Heunen and Peter Selinger and Jamie Vicary},
 booktitle    = {Proceedings 12th International Workshop on Quantum Physics and Logic},
 pages        = {1--16},
 doi          = {10.4204/EPTCS.195.1},
)
@inproceedings(altenkirch-grattage,
 author       = {Thorsten Altenkirch and Jonathan Grattage},
 year         = {2005},
 title        = {A Functional Quantum Programming Language},
 booktitle    = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings},
 pages        = {249--258},
 doi          = {10.1109/LICS.2005.1},
)
@inproceedings(aman-foundations,
 author       = {Bogdan Aman and Gabriel Ciobanu and Robert Gl{\"u}ck and Robin Kaarsgaard and Jarkko Kari and Martin Kutrib and Ivan Lanese and Claudio Antares Mezzina and {\L}ukasz Mikulski and Rajagopal Nagarajan},
 year         = {2020},
 title        = {Foundations of reversible computation},
 editor       = {Irek Ulidowski and Ivan Lanese and Ulrik Pagh Schultz and Carla Ferreira},
 booktitle    = {Reversible Computation: Extending Horizons of Computing},
 organization = {Springer},
 pages        = {1--40},
 doi          = {10.1016/j.tcs.2015.07.046},
)
@inproceedings(axelsen,
 author       = {Holger Bock Axelsen and Robert Gl\"{u}ck},
 year         = {2011},
 title        = {What do reversible programs compute?},
 editor       = {Martin Hofmann},
 booktitle    = {FoSSaCS 2011},
 series       = {LNCS},
 volume       = {6604},
 publisher    = {Springer},
 pages        = {42--56},
 doi          = {10.1007/978-3-642-19805-2},
)
@inproceedings(axelsen-kaarsgaard-fossacs16,
 author       = {Holger Bock Axelsen and Robin Kaarsgaard},
 year         = {2016},
 title        = {Join Inverse Categories as Models of Reversible Recursion},
 booktitle    = {Foundations of Software Science and Computation Structures 2016},
 series       = {LNCS},
 volume       = {9634},
 publisher    = {Springer},
 pages        = {73--90},
 doi          = {10.1007/978-3-642-29517-1},
)
@article(barr,
 author       = {Michael Barr},
 year         = {1992},
 title        = {Algebraically compact functors},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {82},
 number       = {3},
 pages        = {211--231},
 doi          = {10.1016/0022-4049(92)90169-G},
)
@article(bennett,
 author       = {Charles 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(berut,
 author       = {Antoine B{\'e}rut and Artak Arakelyan and Artyom Petrosyan and Sergio Ciliberto and Raoul Dillenschneider and Eric Lutz},
 year         = {2012},
 title        = {Experimental verification of {L}andauer's principle linking information and thermodynamics},
 journal      = {Nature},
 volume       = {483},
 number       = {7388},
 pages        = {187--189},
 doi          = {10.1143/JPSJ.66.3326},
)
@unpublished(bowman-james-sabry-dagger,
 author       = {William J. Bowman and Roshan P. James and Amr Sabry},
 year         = {2011},
 title        = {Dagger traced symmetric monoidal categories and reversible programming},
 note         = {Work-in-progress report presented at the 3rd International Workshop on Reversible Computation},
)
@inproceedings(carette-sabry-weakriggrpds,
 author       = {Jacques Carette and Amr Sabry},
 year         = {2016},
 title        = {Computing with semirings and weak rig groupoids},
 booktitle    = {Proceedings of the 25th European Symposium on Programming (ESOP 2016)},
 publisher    = {Springer},
 pages        = {123--148},
 doi          = {10.1007/978-3-662-49498-1},
)
@article(chen-sabry-negative-fractional,
 author       = {Chao-Hong Chen and Amr Sabry},
 year         = {2021},
 title        = {A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types},
 journal      = {Proc. ACM Program. Lang.},
 volume       = {5},
 number       = {POPL},
 doi          = {10.1016/j.tcs.2015.07.046},
)
@article(cockett1,
 author       = {J. R. B. Cockett and Stephen 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},
)
@article(cockett2,
 author       = {J. Robin B. Cockett and Stephen Lack},
 year         = {2003},
 title        = {Restriction categories {II}: {P}artial map classification},
 journal      = {Theoretical Computer Science},
 volume       = {294},
 number       = {1},
 pages        = {61--102},
 doi          = {10.1016/S0304-3975(01)00245-6},
)
@article(cockett-garner,
 author       = {Robin Cockett and Richard Garner},
 year         = {2014},
 title        = {Restriction categories as enriched categories},
 journal      = {Theoretical Computer Science},
 volume       = {523},
 pages        = {37--55},
 doi          = {10.1016/j.tcs.2013.12.018},
)
@article(cockett3,
 author       = {Robin Cockett and Stephen Lack},
 year         = {2007},
 title        = {Restriction categories {III}: {C}olimits, partial limits and extensivity},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {17},
 number       = {04},
 pages        = {775--817},
 doi          = {10.1016/S1571-0661(05)80303-2},
)
@inproceedings(cristescu-krivine-varacca,
 author       = {Ioana Cristescu and Jean Krivine and Daniele Varacca},
 year         = {2013},
 title        = {A compositional semantics for the reversible p-calculus},
 booktitle    = {Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on},
 organization = {IEEE},
 pages        = {388--397},
 doi          = {10.1109/LICS.2013.45},
)
@article(fredkin,
 author       = {Edward Fredkin and Tommaso Toffoli},
 year         = {1982},
 title        = {Conservative logic},
 journal      = {International Journal of Theoretical Physics},
 volume       = {21},
 number       = {3-4},
 pages        = {219--253},
 doi          = {10.1007/BF01857727},
)
@phdthesis(giles-thesis,
 author       = {Brett Gordon Giles},
 year         = {2014},
 title        = {{An investigation of some theoretical aspects of reversible computing}},
 school       = {University of Calgary},
)
@article(revflowcharts,
 author       = {Robert Gl{\"u}ck and Robin Kaarsgaard},
 year         = {2018},
 title        = {{A categorical foundation for structured reversible flowchart languages: Soundness and adequacy}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 14, Issue 3}},
 doi          = {10.23638/LMCS-14(3:16)2018},
)
@inproceedings(glueck-kaarsgaard-yokoyama,
 author       = {Robert Gl{\"u}ck and Robin Kaarsgaard and Tetsuo Yokoyama},
 year         = {2019},
 title        = {Reversible Programs Have Reversible Semantics},
 booktitle    = {Formal Methods. FM 2019 International Workshops},
 series       = {Lecture Notes in Computer Science},
 volume       = {12233},
 pages        = {413--427},
 doi          = {10.1016/j.tcs.2015.07.046},
)
@phdthesis(guo-thesis,
 author       = {Xiuzhan Guo},
 year         = {2012},
 title        = {{Products, Joins, Meets, and Ranges in Restriction Categories}},
 school       = {University of Calgary},
)
@incollection(heunen,
 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.1016/S0022-4049(02)00141-X},
)
@unpublished(heunen-kaarsgaard-qie,
 author       = {Chris Heunen and Robin Kaarsgaard},
 year         = {2021},
 title        = {Quantum Information Effects},
 note         = {ArXiv:2107.12144},
)
@phdthesis(hines-thesis,
 author       = {Peter Mark Hines},
 year         = {1998},
 title        = {The Algebra of Self-{S}imilarity and its Applications},
 school       = {University of Wales, Bangor},
)
@inproceedings(jacobsen-kaarsgaard-thomsen-corefun,
 author       = {Petur Andrias H{\o}jgaard Jacobsen and Robin Kaarsgaard and Michael Kirkedal Thomsen},
 year         = {2018},
 title        = {{CoreFun}: A Typed Functional Reversible Core Language},
 booktitle    = {International Conference on Reversible Computation},
 organization = {Springer},
 pages        = {304--321},
 doi          = {10.1016/j.tcs.2015.07.046},
)
@inproceedings(james-sabry-infeff,
 author       = {Roshan P. James and Amr Sabry},
 year         = {2012},
 title        = {Information Effects},
 booktitle    = {Principles of Programming Languages 2012, Proceedings},
 publisher    = {ACM},
 pages        = {73--84},
 doi          = {10.1145/2103656.2103667},
)
@misc(theseus,
 author       = {Roshan P. James and Amr Sabry},
 year         = {2014},
 title        = {Theseus: {A} High Level Language for Reversible Computing},
 note         = {Reversible Computing 2014},
)
@article(kaarsgaard-axelsen-glueck-jlamp,
 author       = {Robin Kaarsgaard and Holger Bock Axelsen and Gl\IeC{\"u}ck, Robert},
 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},
)
@inproceedings(kaarsgaard-veltri-engarde,
 author       = {Robin Kaarsgaard and Niccol{\`o} Veltri},
 year         = {2019},
 title        = {En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad},
 booktitle    = {Proceedings of the 13th International Conference on Mathematics of Program Construction (MPC 2019)},
 publisher    = {Springer},
 pages        = {366--384},
 doi          = {10.1007/978-3-030-33636-3},
)
@phdthesis(karvonen,
 author       = {Martti Karvonen},
 year         = {2019},
 title        = {The Way of the Dagger},
 school       = {University of Edinburgh},
)
@incollection(kastl,
 author       = {J. Kastl},
 year         = {1979},
 title        = {Inverse categories},
 editor       = {Hans-J\"{u}rgen Hoehnke},
 booktitle    = {Algebraische Modelle, Kategorien und Gruppoide},
 publisher    = {Akademie Verlag, Berlin},
 pages        = {51--60},
)
@inproceedings(kutrib2,
 author       = {Martin Kutrib and Andreas Malcher},
 year         = {2010},
 title        = {Reversible pushdown automata},
 editor       = {A.-H. Dediu and H. Fernau and Mart{\' i}n-Vide, C.},
 booktitle    = {LATA 2010},
 series       = {LNCS},
 volume       = {6031},
 publisher    = {Springer-Verlag},
 pages        = {368--379},
 doi          = {10.1007/978-3-642-13089-2},
)
@inproceedings(kutrib1,
 author       = {Martin Kutrib and Matthias Wendlandt},
 year         = {2015},
 title        = {Reversible limited automata},
 editor       = {{Durand-Lose}, J. and B. Nagy},
 booktitle    = {MCU 2015},
 series       = {LNCS},
 volume       = {9288},
 publisher    = {Springer},
 pages        = {113--128},
 doi          = {10.1007/978-3-319-23111-2},
)
@article(landauer,
 author       = {Rolf 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},
)
@book(lawson,
 author       = {Mark V Lawson},
 year         = {1998},
 title        = {Inverse Semigroups: The Theory of Partial Symmetries},
 publisher    = {World Scientific},
 doi          = {10.1142/3645},
)
@incollection(malherbe-scott-selinger,
 author       = {Octavio Malherbe and Philip Scott and Peter Selinger},
 year         = {2013},
 title        = {Presheaf models of quantum computation: an outline},
 booktitle    = {Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky},
 publisher    = {Springer},
 pages        = {178--194},
 doi          = {10.1007/978-3-540-78499-9},
)
@article(moore,
 author       = {Gordon E Moore},
 year         = {2006},
 title        = {Cramming more components onto integrated circuits, Reprinted from Electronics, volume 38, number 8, April 19, 1965, pp. 114 ff.},
 journal      = {IEEE Solid-State Circuits Newsletter},
 volume       = {3},
 number       = {20},
 pages        = {33--35},
 doi          = {10.1109/N-SSC.2006.4785860},
)
@inproceedings(rennela-staton-mfps31,
 author       = {Mathys Rennela and Sam Staton},
 year         = {2015},
 title        = {{Complete positivity and natural representation of quantum computations}},
 booktitle    = {MFPS XXXI},
 volume       = {319},
 publisher    = {Electronic Notes in Theoretical Computer Science},
 pages        = {369--385},
 doi          = {10.1016/j.entcs.2015.12.022},
)
@article(ewire,
 author       = {Mathys Rennela and Sam Staton},
 year         = {2018},
 title        = {Classical control and quantum circuits in enriched category theory},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {336},
 pages        = {257--279},
 doi          = {10.1016/j.entcs.2018.03.027},
)
@inproceedings(rennela-staton-furber-qpl16,
 author       = {Mathys Rennela and Sam Staton and Robert Furber},
 year         = {2017},
 title        = {Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras},
 booktitle    = {QPL'16},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {236},
 publisher    = {Open Publishing Association},
 pages        = {161--173},
 doi          = {10.4204/EPTCS.236.11},
)
@inproceedings(schordan,
 author       = {Markus Schordan and David Jefferson and Peter Barnes and Tomas Oppelstrup and Daniel Quinlan},
 year         = {2015},
 title        = {Reverse Code Generation for Parallel Discrete Event Simulation},
 editor       = {Jean Krivine and Jean-Bernard Stefani},
 booktitle    = {RC 2015},
 series       = {LNCS},
 volume       = {9138},
 publisher    = {Springer},
 pages        = {95--110},
 doi          = {10.1007/978-3-319-20860-2},
)
@article(schultz-bordignon-stoy,
 author       = {Ulrik Schultz and Mirko Bordignon and Kasper Stoy},
 year         = {2011},
 title        = {Robust and reversible execution of self-reconfiguration sequences},
 journal      = {Robotica},
 volume       = {29},
 number       = {01},
 pages        = {35--57},
 doi          = {10.1145/345910.345920},
)
@incollection(schultz-laursen-ellekilde-axelsen,
 author       = {Ulrik Pagh Schultz and Johan Sund Laursen and Lars-Peter Ellekilde and Holger Bock Axelsen},
 year         = {2015},
 title        = {Towards a Domain-Specific Language for Reversible Assembly Sequences},
 booktitle    = {Reversible Computation},
 publisher    = {Springer},
 pages        = {111--126},
 doi          = {10.1147/rd.456.0807},
)
@inproceedings(toffoli,
 author       = {Tommaso Toffoli},
 year         = {1980},
 title        = {{Reversible Computing}},
 booktitle    = {Proceedings of the Colloquium on Automata, Languages and Programming},
 publisher    = {Springer Verlag},
 pages        = {632--644},
 doi          = {10.1007/3-540-10003-2},
)
@inproceedings(yokoyama-axelsen-glueck-rc2011,
 author       = {Tetsuo Yokoyama and Holger Bock Axelsen and Robert Gl\"{u}ck},
 year         = {2012},
 title        = {{Towards a reversible functional language}},
 editor       = {{De Vos}, Alexis and Robert Wille},
 booktitle    = {RC 2011},
 series       = {LNCS},
 volume       = {7165},
 publisher    = {Springer},
 pages        = {14--29},
 doi          = {10.1007/978-3-642-29517-1},
)
@inproceedings(janus,
 author       = {Tetsuo Yokoyama and Robert Gl\"{u}ck},
 year         = {2007},
 title        = {A Reversible Programming Language and Its Invertible Self-interpreter},
 booktitle    = {PEPM '07, Proceedings},
 publisher    = {ACM},
 pages        = {144--153},
 doi          = {10.1145/1244381.1244404},
)