@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},
)