| Join inverse categories and reversible recursion R Kaarsgaard, HB Axelsen, R Glück Journal of Logical and Algebraic Methods in Programming 87, 33-50, 2017 | 23 | 2017 |
| A categorical foundation for structured reversible flowchart languages R Glück, R Kaarsgaard Electronic Notes in Theoretical Computer Science 336, 155-171, 2018 | 13 | 2018 |
| Foundations of reversible computation B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ... International Conference on Reversible Computation, 1-40, 2020 | 12 | 2020 |
| Join inverse categories as models of reversible recursion HB Axelsen, R Kaarsgaard International Conference on Foundations of Software Science and Computation …, 2016 | 12 | 2016 |
| A categorical foundation for structured reversible flowchart languages: Soundness and adequacy R Glück, R Kaarsgaard Logical Methods in Computer Science 14 (3), 2018 | 10 | 2018 |
| : A Typed Functional Reversible Core Language PAH Jacobsen, R Kaarsgaard, MK Thomsen International Conference on Reversible Computation, 304-321, 2018 | 8 | 2018 |
| Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics MK Thomsen, R Kaarsgaard, M Soeken International Conference on Reversible Computation, 200-215, 2015 | 8 | 2015 |
| Reversible programs have reversible semantics R Glück, R Kaarsgaard, T Yokoyama International Symposium on Formal Methods, 413-427, 2019 | 5 | 2019 |
| En garde! unguarded iteration for reversible computation in the delay monad R Kaarsgaard, N Veltri International Conference on Mathematics of Program Construction, 366-384, 2019 | 5 | 2019 |
| Reversible effects as inverse arrows C Heunen, R Kaarsgaard, M Karvonen Electronic Notes in Theoretical Computer Science 341, 179-199, 2018 | 5 | 2018 |
| Bennett and Stinespring, together at last C Heunen, R Kaarsgaard arXiv preprint arXiv:2102.08711, 2021 | 3 | 2021 |
| The Logic of Reversible Computing: Theory and Practice R Kaarsgaard University of Copenhagen, Faculty of Science, Department of Computer Science, 2017 | 3 | 2017 |
| Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories R Kaarsgaard Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations …, 2019 | 2 | 2019 |
| Inversion, iteration, and the art of dual wielding R Kaarsgaard International Conference on Reversible Computation, 34-50, 2019 | 2 | 2019 |
| Rfun revisited R Kaarsgaard, MK Thomsen The Logic of Reversible Computing, 167, 2017 | 2 | 2017 |
| Towards a propositional logic for reversible logic circuits R Kaarsgaard Proceedings of the ESSLLI, 33-41, 2014 | 2 | 2014 |
| Quantum information effects C Heunen, R Kaarsgaard arXiv preprint arXiv:2107.12144, 2021 | 1 | 2021 |
| From reversible programming languages to reversible metalanguages R Glück, R Kaarsgaard, T Yokoyama Theoretical Computer Science, 2022 | | 2022 |
| Join inverse rig categories for reversible functional programming, and beyond R Kaarsgaard, M Rennela arXiv preprint arXiv:2105.09929, 2021 | | 2021 |
| Graph traversals as universal constructions S Bhaskar, R Kaarsgaard arXiv preprint arXiv:2104.14877, 2021 | | 2021 |
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
