Follow
Robin Kaarsgaard
Robin Kaarsgaard
Postdoc at School of Informatics, University of Edinburgh
Verified email at ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
232017
A categorical foundation for structured reversible flowchart languages
R Glück, R Kaarsgaard
Electronic Notes in Theoretical Computer Science 336, 155-171, 2018
132018
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
122020
Join inverse categories as models of reversible recursion
HB Axelsen, R Kaarsgaard
International Conference on Foundations of Software Science and Computation …, 2016
122016
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
R Glück, R Kaarsgaard
Logical Methods in Computer Science 14 (3), 2018
102018
: A Typed Functional Reversible Core Language
PAH Jacobsen, R Kaarsgaard, MK Thomsen
International Conference on Reversible Computation, 304-321, 2018
82018
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
82015
Reversible programs have reversible semantics
R Glück, R Kaarsgaard, T Yokoyama
International Symposium on Formal Methods, 413-427, 2019
52019
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
52019
Reversible effects as inverse arrows
C Heunen, R Kaarsgaard, M Karvonen
Electronic Notes in Theoretical Computer Science 341, 179-199, 2018
52018
Bennett and Stinespring, together at last
C Heunen, R Kaarsgaard
arXiv preprint arXiv:2102.08711, 2021
32021
The Logic of Reversible Computing: Theory and Practice
R Kaarsgaard
University of Copenhagen, Faculty of Science, Department of Computer Science, 2017
32017
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
R Kaarsgaard
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations …, 2019
22019
Inversion, iteration, and the art of dual wielding
R Kaarsgaard
International Conference on Reversible Computation, 34-50, 2019
22019
Rfun revisited
R Kaarsgaard, MK Thomsen
The Logic of Reversible Computing, 167, 2017
22017
Towards a propositional logic for reversible logic circuits
R Kaarsgaard
Proceedings of the ESSLLI, 33-41, 2014
22014
Quantum information effects
C Heunen, R Kaarsgaard
arXiv preprint arXiv:2107.12144, 2021
12021
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
The system can't perform the operation now. Try again later.
Articles 1–20