Samson Abramsky
Dominic Horsman
2015
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics
Chris Heunen
Peter Selinger
Jamie Vicary
Proceedings 12th International Workshop on Quantum Physics and Logic
1–16
10.4204/EPTCS.195.1
Thorsten Altenkirch
Jonathan Grattage
2005
A Functional Quantum Programming Language
20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings
249–258
10.1109/LICS.2005.1
Bogdan Aman
Gabriel Ciobanu
Robert Glück
Robin Kaarsgaard
Jarkko Kari
Martin Kutrib
Ivan Lanese
Claudio Antares Mezzina
Łukasz Mikulski
Rajagopal Nagarajan
2020
Foundations of reversible computation
Irek Ulidowski
Ivan Lanese
Ulrik Pagh Schultz
Carla Ferreira
Reversible Computation: Extending Horizons of Computing
Springer
1–40
10.1016/j.tcs.2015.07.046
Holger Bock Axelsen
Robert Glück
2011
What do reversible programs compute?
Martin Hofmann
FoSSaCS 2011
LNCS
6604
Springer
42–56
10.1007/978-3-642-19805-2
Holger Bock Axelsen
Robin Kaarsgaard
2016
Join Inverse Categories as Models of Reversible Recursion
Foundations of Software Science and Computation Structures 2016
LNCS
9634
Springer
73–90
10.1007/978-3-642-29517-1
Michael Barr
1992
Algebraically compact functors
Journal of Pure and Applied Algebra
82
3
211–231
10.1016/0022-4049(92)90169-G
Charles H. Bennett
1973
Logical reversibility of computation
IBM Journal of Research and Development
17
6
525–532
10.1147/rd.176.0525
Antoine Bérut
Artak Arakelyan
Artyom Petrosyan
Sergio Ciliberto
Raoul Dillenschneider
Eric Lutz
2012
Experimental verification of Landauer's principle linking information and thermodynamics
Nature
483
7388
187–189
10.1143/JPSJ.66.3326
William J. Bowman
Roshan P. James
Amr Sabry
2011
Dagger traced symmetric monoidal categories and reversible programming
Work-in-progress report presented at the 3rd International Workshop on Reversible Computation
Jacques Carette
Amr Sabry
2016
Computing with semirings and weak rig groupoids
Proceedings of the 25th European Symposium on Programming (ESOP 2016)
Springer
123–148
10.1007/978-3-662-49498-1
Chao-Hong Chen
Amr Sabry
2021
A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types
Proc. ACM Program. Lang.
5
POPL
10.1016/j.tcs.2015.07.046
J. R. B. Cockett
Stephen Lack
2002
Restriction categories I: Categories of partial maps
Theoretical Computer Science
270
1–2
223–259
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
61–102
10.1016/S0304-3975(01)00245-6
Robin Cockett
Richard Garner
2014
Restriction categories as enriched categories
Theoretical Computer Science
523
37–55
10.1016/j.tcs.2013.12.018
Robin Cockett
Stephen Lack
2007
Restriction categories III: Colimits, partial limits and extensivity
Mathematical Structures in Computer Science
17
04
775–817
10.1016/S1571-0661(05)80303-2
Ioana Cristescu
Jean Krivine
Daniele Varacca
2013
A compositional semantics for the reversible p-calculus
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
IEEE
388–397
10.1109/LICS.2013.45
Edward Fredkin
Tommaso Toffoli
1982
Conservative logic
International Journal of Theoretical Physics
21
3-4
219–253
10.1007/BF01857727
Brett Gordon Giles
2014
An investigation of some theoretical aspects of reversible computing
University of Calgary
Robert Glück
Robin Kaarsgaard
2018
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Logical Methods in Computer Science
Volume 14, Issue 3
10.23638/LMCS-14(3:16)2018
Robert Glück
Robin Kaarsgaard
Tetsuo Yokoyama
2019
Reversible Programs Have Reversible Semantics
Formal Methods. FM 2019 International Workshops
Lecture Notes in Computer Science
12233
413–427
10.1016/j.tcs.2015.07.046
Xiuzhan Guo
2012
Products, Joins, Meets, and Ranges in Restriction Categories
University of Calgary
Chris Heunen
2013
On the functor ^2
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Springer
107–121
10.1016/S0022-4049(02)00141-X
Chris Heunen
Robin Kaarsgaard
2021
Quantum Information Effects
ArXiv:2107.12144
Peter Mark Hines
1998
The Algebra of Self-Similarity and its Applications
University of Wales, Bangor
Petur Andrias Højgaard Jacobsen
Robin Kaarsgaard
Michael Kirkedal Thomsen
2018
CoreFun: A Typed Functional Reversible Core Language
International Conference on Reversible Computation
Springer
304–321
10.1016/j.tcs.2015.07.046
Roshan P. James
Amr Sabry
2012
Information Effects
Principles of Programming Languages 2012, Proceedings
ACM
73–84
10.1145/2103656.2103667
Roshan P. James
Amr Sabry
2014
Theseus: A High Level Language for Reversible Computing
Reversible Computing 2014
Robin Kaarsgaard
Holger Bock Axelsen
Robert Glück
2017
Join inverse categories and reversible recursion
Journal of Logical and Algebraic Methods in Programming
87
33–50
10.1016/j.jlamp.2016.08.003
Robin Kaarsgaard
Niccolò Veltri
2019
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
Proceedings of the 13th International Conference on Mathematics of Program Construction (MPC 2019)
Springer
366–384
10.1007/978-3-030-33636-3
Martti Karvonen
2019
The Way of the Dagger
University of Edinburgh
J. Kastl
1979
Inverse categories
Hans-Jürgen Hoehnke
Algebraische Modelle, Kategorien und Gruppoide
Akademie Verlag, Berlin
51–60
Martin Kutrib
Andreas Malcher
2010
Reversible pushdown automata
A.-H. Dediu
H. Fernau
C. Martín-Vide
LATA 2010
LNCS
6031
Springer-Verlag
368–379
10.1007/978-3-642-13089-2
Martin Kutrib
Matthias Wendlandt
2015
Reversible limited automata
J. Durand-Lose
B. Nagy
MCU 2015
LNCS
9288
Springer
113–128
10.1007/978-3-319-23111-2
Rolf Landauer
1961
Irreversibility and heat generation in the computing process
IBM journal of research and development
5
3
183–191
10.1147/rd.53.0183
Mark V Lawson
1998
Inverse Semigroups: The Theory of Partial Symmetries
World Scientific
10.1142/3645
Octavio Malherbe
Philip Scott
Peter Selinger
2013
Presheaf models of quantum computation: an outline
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Springer
178–194
10.1007/978-3-540-78499-9
Gordon E Moore
2006
Cramming more components onto integrated circuits, Reprinted from Electronics, volume 38, number 8, April 19, 1965, pp. 114 ff.
IEEE Solid-State Circuits Newsletter
3
20
33–35
10.1109/N-SSC.2006.4785860
Mathys Rennela
Sam Staton
2015
Complete positivity and natural representation of quantum computations
MFPS XXXI
319
Electronic Notes in Theoretical Computer Science
369–385
10.1016/j.entcs.2015.12.022
Mathys Rennela
Sam Staton
2018
Classical control and quantum circuits in enriched category theory
Electronic Notes in Theoretical Computer Science
336
257–279
10.1016/j.entcs.2018.03.027
Mathys Rennela
Sam Staton
Robert Furber
2017
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
QPL'16
Electronic Proceedings in Theoretical Computer Science
236
Open Publishing Association
161–173
10.4204/EPTCS.236.11
Markus Schordan
David Jefferson
Peter Barnes
Tomas Oppelstrup
Daniel Quinlan
2015
Reverse Code Generation for Parallel Discrete Event Simulation
Jean Krivine
Jean-Bernard Stefani
RC 2015
LNCS
9138
Springer
95–110
10.1007/978-3-319-20860-2
Ulrik Schultz
Mirko Bordignon
Kasper Stoy
2011
Robust and reversible execution of self-reconfiguration sequences
Robotica
29
01
35–57
10.1145/345910.345920
Ulrik Pagh Schultz
Johan Sund Laursen
Lars-Peter Ellekilde
Holger Bock Axelsen
2015
Towards a Domain-Specific Language for Reversible Assembly Sequences
Reversible Computation
Springer
111–126
10.1147/rd.456.0807
Tommaso Toffoli
1980
Reversible Computing
Proceedings of the Colloquium on Automata, Languages and Programming
Springer Verlag
632–644
10.1007/3-540-10003-2
Tetsuo Yokoyama
Holger Bock Axelsen
Robert Glück
2012
Towards a reversible functional language
Alexis De Vos
Robert Wille
RC 2011
LNCS
7165
Springer
14–29
10.1007/978-3-642-29517-1
Tetsuo Yokoyama
Robert Glück
2007
A Reversible Programming Language and Its Invertible Self-interpreter
PEPM '07, Proceedings
ACM
144–153
10.1145/1244381.1244404