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