Articles with public access mandates - Robin KaarsgaardLearn more
Available somewhere: 15
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
Mandates: Danish Council for Independent Research, European Commission
Quantum Information Effects
C Heunen, R Kaarsgaard
Proceedings of the ACM on Programming Languages 6 (POPL), 2:1–27, 2021
Mandates: Danish Council for Independent Research, UK Engineering and Physical …
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
R Glück, R Kaarsgaard
Logical Methods in Computer Science 14 (3), 2018
Mandates: European Commission
A categorical foundation for structured reversible flowchart languages
R Glück, R Kaarsgaard
Electronic Notes in Theoretical Computer Science 336, 155-171, 2018
Mandates: European Commission
Reversible effects as inverse arrows
C Heunen, R Kaarsgaard, M Karvonen
Electronic Notes in Theoretical Computer Science 341, 179-199, 2018
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Join inverse categories as models of reversible recursion
HB Axelsen, R Kaarsgaard
International Conference on Foundations of Software Science and Computation …, 2016
Mandates: Danish Council for Independent Research, European Commission
Reversible programs have reversible semantics
R Glück, R Kaarsgaard, T Yokoyama
International Symposium on Formal Methods, 413-427, 2019
Mandates: European Commission
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
Mandates: Villum Foundation
With a Few Square Roots, Quantum Computing Is as Easy as Pi
J Carette, C Heunen, R Kaarsgaard, A Sabry
Proceedings of the ACM on Programming Languages 8 (POPL), 546-574, 2024
Mandates: US National Science Foundation, Natural Sciences and Engineering Research …
Universal Properties of Partial Quantum Maps
PA Martinez, C Heunen, R Kaarsgaard
The 19th International Conference on Quantum Physics and Logic 2022, 2022
Mandates: Danish Council for Independent Research, UK Engineering and Physical …
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
R Kaarsgaard
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations …, 2019
Mandates: European Commission
Inversion, iteration, and the art of dual wielding
R Kaarsgaard
International Conference on Reversible Computation, 34-50, 2019
Mandates: European Commission
From reversible programming languages to reversible metalanguages
R Glück, R Kaarsgaard, T Yokoyama
Theoretical Computer Science 920, 46-63, 2022
Mandates: Danish Council for Independent Research
Algeo: An algebraic approach to reversibility
F Henglein, R Kaarsgaard, MK Mathiesen
International Conference on Reversible Computation, 128-145, 2022
Mandates: Danish Council for Independent Research
A classical propositional logic for reasoning about reversible logic circuits
HB Axelsen, R Glück, R Kaarsgaard
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
Mandates: Danish Council for Independent Research, European Commission
Publication and funding information is determined automatically by a computer program