@incollection(aman2020foundations,
 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 Lukasz Mikulski and Rajagopal Nagarajan and Iain C.~C. Phillips and G.~Michele Pinna and Luca Prigioniero and Irek Ulidowski and Germ{\'{a}}n Vidal},
 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 - Selected Results of the {COST} Action {IC1405}},
 series       = {Lecture Notes in Computer Science},
 volume       = {12070},
 publisher    = {Springer},
 pages        = {1--40},
 doi          = {10.1007/978-3-030-47361-7\_1},
)
@inproceedings(axelsen2016join,
 author       = {Holger~Bock Axelsen and Robin Kaarsgaard},
 year         = {2016},
 title        = {Join Inverse Categories as Models of Reversible Recursion},
 editor       = {Bart Jacobs and Christof L{\"{o}}ding},
 booktitle    = {Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures ({FOSSACS}'16)},
 series       = {Lecture Notes in Computer Science},
 volume       = {9634},
 publisher    = {Springer},
 address      = {Eindhoven, The Netherlands},
 pages        = {73--90},
 doi          = {10.1007/978-3-662-49630-5\_5},
)
@article(bennett1973logical,
 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(bennett2000notes,
 author       = {Charles~H. Bennett},
 year         = {2000},
 title        = {Notes on the history of reversible computation},
 journal      = {{IBM} Journal of Research and Development},
 volume       = {44},
 number       = {1},
 pages        = {270--278},
 doi          = {10.1147/rd.441.0270},
)
@inproceedings(carette2016computing,
 author       = {Jacques Carette and Amr Sabry},
 year         = {2016},
 title        = {Computing with Semirings and Weak Rig Groupoids},
 editor       = {Peter Thiemann},
 booktitle    = {Proceedings of the 25th European Symposium on Programming Languages and Systems ({ESOP}'16)},
 series       = {Lecture Notes in Computer Science},
 volume       = {9632},
 publisher    = {Springer},
 address      = {Eindhoven, The Netherlands},
 pages        = {123--148},
 doi          = {10.1007/978-3-662-49498-1\_6},
)
@phdthesis(caroe2012design,
 author       = {Car{\o}e, Michael~Kirkedal},
 year         = {2012},
 title        = {Design of Reversible Computing Systems},
 school       = {University of Copenhagen, Denmark},
)
@inproceedings(chardonnet2020curry,
 author       = {Kostia Chardonnet and Alexis Saurin and Beno{\^{\i}}t Valiron},
 year         = {2020},
 title        = {Toward a {C}urry-{H}oward Equivalence for Linear, Reversible Computation - Work-in-Progress},
 editor       = {Ivan Lanese and Mariusz Rawski},
 booktitle    = {Proceedings of the 12th International Conference on Reversible Computation ({RC} 2020)},
 series       = {Lecture Notes in Computer Science},
 volume       = {12227},
 publisher    = {Springer},
 pages        = {144--152},
 doi          = {10.1007/978-3-030-52482-1\_8},
)
@article(cockett2002restriction-I,
 author       = {J.~Robin~B. Cockett and Stephen Lack},
 year         = {2002},
 title        = {Restriction Categories {I}: Categories of Partial Maps},
 journal      = {Theoretical Computer Science},
 volume       = {270},
 number       = {1},
 pages        = {223--259},
 doi          = {10.1016/S0304-3975(00)00382-0},
)
@article(cockett2003restriction-II,
 author       = {J.~Robin~B. Cockett and Stephen Lack},
 year         = {2003},
 title        = {Restriction categories II: partial map classification},
 journal      = {Theoretical Computer Science},
 volume       = {294},
 number       = {1},
 pages        = {61--102},
 doi          = {10.1016/S0304-3975(01)00245-6},
)
@article(cockett2007restriction-III,
 author       = {Robin 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},
)
@phdthesis(giles2014investigation,
 author       = {Brett~Gordon Giles},
 year         = {2014},
 title        = {An Investigation of Some Theoretical Aspects of Reversible Computing},
 school       = {University of Calgary},
 doi          = {10.11575/PRISM/24917},
)
@article(gluck2017categorical,
 author       = {Robert Gl{\"{u}}ck and Robin Kaarsgaard},
 year         = {2018},
 title        = {A categorical foundation for structured reversible flowchart languages: Soundness and adequacy},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {14},
 number       = {3},
 doi          = {10.23638/LMCS-14(3:16)2018},
)
@inproceedings(gluck2019reversible,
 author       = {Robert Gl{\"{u}}ck and Robin Kaarsgaard and Tetsuo Yokoyama},
 year         = {2019},
 title        = {Reversible Programs Have Reversible Semantics},
 editor       = {Emil Sekerinski and Nelma Moreira and Jos{\'{e}}~N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and Jos{\'{e}} Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas},
 booktitle    = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part {II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {12233},
 publisher    = {Springer},
 pages        = {413--427},
 doi          = {10.1007/978-3-030-54997-8\_26},
)
@phdthesis(guo2012products,
 author       = {Xiuzhan Guo},
 year         = {2012},
 title        = {Products, Joins, Meets, and Ranges in Restriction Categories},
 school       = {University of Calgary},
 doi          = {10.11575/PRISM/4745},
)
@phdthesis(haghverdi2000phd,
 author       = {Esfandiar Haghverdi},
 year         = {2000},
 title        = {A Categorical Approach to Linear Logic, Geometry of Proofs and Full Completeness},
 school       = {University of Ottawa},
 doi          = {10.20381/ruor-16218},
)
@inproceedings(heunen2018reversible,
 author       = {Chris Heunen and Robin Kaarsgaard and Martti Karvonen},
 year         = {2018},
 title        = {Reversible Effects as Inverse Arrows},
 editor       = {Sam Staton},
 booktitle    = {Proceedings of the 34th Conference on the Mathematical Foundations of Programming Semantics ({MFPS XXXIV})},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {341},
 publisher    = {Elsevier},
 address      = {Dalhousie University, Halifax, Canada},
 pages        = {179--199},
 doi          = {10.1016/j.entcs.2018.11.009},
)
@inproceedings(heunen2015reversible,
 author       = {Chris Heunen and Martti Karvonen},
 year         = {2015},
 title        = {Reversible Monadic Computing},
 editor       = {Dan Ghica},
 booktitle    = {Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics ({MFPS XXXI})},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {319},
 address      = {Nijmegen, The Netherlands},
 pages        = {217--237},
 doi          = {10.1016/j.entcs.2015.12.014},
)
@inproceedings(Hoshino12,
 author       = {Naohiko Hoshino},
 year         = {2012},
 title        = {A Representation Theorem for Unique Decomposition Categories},
 editor       = {Ulrich Berger and Michael~W. Mislove},
 booktitle    = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {286},
 publisher    = {Elsevier},
 pages        = {213--227},
 doi          = {10.1016/j.entcs.2012.08.014},
)
@inproceedings(JacobsenKT18,
 author       = {Petur Andrias~H{\o}jgaard Jacobsen and Robin Kaarsgaard and Michael~Kirkedal Thomsen},
 year         = {2018},
 title        = {{CoreFun} : {A} Typed Functional Reversible Core Language},
 editor       = {Jarkko Kari and Irek Ulidowski},
 booktitle    = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {11106},
 publisher    = {Springer},
 pages        = {304--321},
 doi          = {10.1007/978-3-319-99498-7\_21},
)
@unpublished(james2014theseus,
 author       = {Rosham~P. James and Amr Sabry},
 year         = {2014},
 title        = {Theseus: A High-Level Language for Reversible Computing},
 note         = {Draft, available at \url{https://legacy.cs.indiana.edu/~sabry/papers/theseus.pdf}},
)
@inproceedings(james2012information,
 author       = {Roshan~P. James and Amr Sabry},
 year         = {2012},
 title        = {Information effects},
 editor       = {John Field and Michael Hicks},
 booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages ({POPL}'12)},
 publisher    = {{ACM}},
 address      = {Philadelphia, Pennsylvania, USA},
 pages        = {73--84},
 doi          = {10.1145/2103656.2103667},
)
@inproceedings(kaarsgaard2019condition,
 author       = {Robin Kaarsgaard},
 year         = {2019},
 title        = {Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories},
 editor       = {K\IeC{\"o}nig, Barbara},
 booktitle    = {Proceedings of the 35th Conference on the Mathematical Foundations of Programming Semantics ({MFPS XXXV})},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {347},
 address      = {London, UK},
 pages        = {179--202},
 doi          = {10.1016/j.entcs.2019.09.010},
)
@inproceedings(kaarsgaard2019inversion,
 author       = {Robin Kaarsgaard},
 year         = {2019},
 title        = {Inversion, Iteration, and the Art of Dual Wielding},
 editor       = {Michael~Kirkedal Thomsen and Mathias Soeken},
 booktitle    = {Proceedings of the 11th International Conference on Reversible Computation ({RC} 2019)},
 series       = {Lecture Notes in Computer Science},
 volume       = {11497},
 publisher    = {Springer},
 address      = {Lausanne, Switzerland},
 pages        = {34--50},
 doi          = {10.1007/978-3-030-21500-2\_3},
)
@article(kaarsgaard2017join,
 author       = {Robin Kaarsgaard and Holger~Bock Axelsen and Robert 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},
)
@misc(kaarsgaard2021join,
 author       = {Robin Kaarsgaard and Mathys Rennela},
 year         = {2021},
 title        = {Join inverse rig categories for reversible functional programming, and beyond},
 note         = {Draft, available at \href{https://arxiv.org/abs/2105.09929}{arXiv:2105.09929}},
)
@inproceedings(kaarsgaard2019engarde,
 author       = {Robin Kaarsgaard and Niccol{\`{o}} Veltri},
 year         = {2019},
 title        = {En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad},
 editor       = {Graham Hutton},
 booktitle    = {Proceedings of the 13th International Conference on Mathematics of Program Construction ({MPC 2019})},
 series       = {Lecture Notes in Computer Science},
 volume       = {11825},
 publisher    = {Springer Verlag},
 address      = {Porto, Portugal},
 pages        = {366--384},
 doi          = {10.1007/978-3-030-33636-3\_13},
)
@incollection(kastl1979inverse,
 author       = {J.~Kastl},
 year         = {1979},
 title        = {Inverse Categories},
 booktitle    = {Algebraische {M}odelle, {K}ategorien und {G}ruppoide},
 series       = {Studien zur Algebra und ihre Anwendungen, Band 7},
 publisher    = {Berlin, Akademie-Verlag},
 pages        = {51--60},
)
@article(Landauer61,
 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},
)
@unpublished(lutz1986janus,
 author       = {Christopher Lutz},
 year         = {1986},
 title        = {Janus: a time-reversible language},
 note         = {Letter to Rolf Landauer, posted online by Tetsuo Yokoyama on \url{http://www.tetsuo.jp/ref/janus.html}},
)
@inproceedings(sabry2018symmetric,
 author       = {Amr Sabry and Beno{\^{\i}}t Valiron and Juliana~Kaizer Vizzotto},
 year         = {2018},
 title        = {From Symmetric Pattern-Matching to Quantum Control},
 editor       = {Christel Baier and Ugo~Dal Lago},
 booktitle    = {Proceedings of the 21st International Conference on Foundations of Software Science and Computation Structures ({FOSSACS}'18)},
 series       = {Lecture Notes in Computer Science},
 volume       = {10803},
 publisher    = {Springer},
 address      = {Thessaloniki, Greece},
 pages        = {348--364},
 doi          = {10.1007/978-3-319-89366-2\_19},
)
@article(saeedi2013synthesis,
 author       = {Mehdi Saeedi and Igor~L. Markov},
 year         = {2013},
 title        = {Synthesis and Optimization of Reversible Circuits - a Survey},
 journal      = {ACM Computing Surveys},
 volume       = {45},
 number       = {2},
 pages        = {21:1--21:34},
 doi          = {10.1145/2431211.2431220},
)
@inproceedings(thomsen2015interpretation,
 author       = {Michael~Kirkedal Thomsen and Holger~Bock Axelsen},
 year         = {2015},
 title        = {Interpretation and programming of the reversible functional language {RFUN}},
 editor       = {Ralf L{\"{a}}mmel},
 booktitle    = {Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, {IFL} 2015, Koblenz, Germany, September 14-16, 2015},
 publisher    = {{ACM}},
 pages        = {8:1--8:13},
 doi          = {10.1145/2897336.2897345},
)
@article(wille2016syrec,
 author       = {Robert Wille and Eleonora Sch{\"{o}}nborn and Mathias Soeken and Rolf Drechsler},
 year         = {2016},
 title        = {{SyReC}: A hardware description language for the specification and synthesis of reversible circuits},
 journal      = {Integration, the VLSI Journal},
 volume       = {53},
 pages        = {39--53},
 doi          = {10.1016/j.vlsi.2015.10.001},
)
@inproceedings(yokoyama2010reversible,
 author       = {Tetsuo Yokoyama},
 year         = {2010},
 title        = {Reversible Computation and Reversible Programming Languages},
 editor       = {Irek Ulidowski},
 booktitle    = {Proceedings of the Workshop on Reversible Computation ({RC}'09)},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {253(6)},
 publisher    = {Elsevier},
 address      = {York, UK},
 pages        = {71--81},
 doi          = {10.1016/j.entcs.2010.02.007},
)
@inproceedings(yokoyama2011reversible,
 author       = {Tetsuo Yokoyama and Holger~Bock Axelsen and Robert Gl{\"{u}}ck},
 year         = {2012},
 title        = {Towards a Reversible Functional Language},
 editor       = {Alexis~De Vos and Robert Wille},
 booktitle    = {Revised Papers of the Third International Workshop on Reversible Computation ({RC}'11)},
 series       = {Lecture Notes in Computer Science},
 volume       = {7165},
 publisher    = {Springer},
 address      = {Gent, Belgium},
 pages        = {14--29},
 doi          = {10.1007/978-3-642-29517-1\_2},
)
@article(yokoyama2016fundamentals,
 author       = {Tetsuo Yokoyama and Holger~Bock Axelsen and Robert Gl{\"u}ck},
 year         = {2016},
 title        = {Fundamentals of reversible flowchart languages},
 journal      = {Theoretical Computer Science},
 volume       = {611},
 pages        = {87--115},
 doi          = {10.1016/j.tcs.2015.07.046},
)
@inproceedings(yokoyama2007reversible,
 author       = {Tetsuo Yokoyama and Robert Gl{\"{u}}ck},
 year         = {2007},
 title        = {A reversible programming language and its invertible self-interpreter},
 editor       = {G.~Ramalingam and Eelco Visser},
 booktitle    = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-based Program Manipulation, {PEPM} 2007, Nice, France, January 15-16, 2007},
 pages        = {144--153},
 doi          = {10.1145/1244381.1244404},
)