Research output per year
Research output per year
Search results
-
2019
Inversion, Iteration, and the Art of Dual Wielding
Kaarsgaard, R., 2019, Reversible Computation - 11th International Conference, RC 2019, Proceedings. Soeken, M. & Thomsen, M. K. (eds.). Springer, p. 34-50 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11497 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2018
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Glück, R. & Kaarsgaard, R., 5 Sept 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.Research output: Contribution to journal › Journal article › Research › peer-review
-
A categorical foundation for structured reversible flowchart languages
Glück, R. & Kaarsgaard, R., 16 Apr 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171Research output: Contribution to journal › Journal article › Research › peer-review
-
CoreFun: A typed functional reversible core language
Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, M. K., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 304-321 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Reversible Effects as Inverse Arrows
Heunen, C., Kaarsgaard, R. & Karvonen, M., 1 Dec 2018, In: Electronic Notes in Theoretical Computer Science. 341, p. 179-199Research output: Contribution to journal › Conference article › Research › peer-review
-
2017
Join inverse categories and reversible recursion
Kaarsgaard, R., Axelsen, H. B. & Glück, R., 1 Feb 2017, In: Journal of Logical and Algebraic Methods in Programming. 87, p. 33-50 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
The Logic of Reversible Computing: Theory and Practice
Kaarsgaard, R., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis
-
2016
A classical propositional logic for reasoning about reversible logic circuits
Axelsen, H. B., Glück, R. & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Join inverse categories as models of reversible recursion
Axelsen, H. B. & Kaarsgaard, R., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Springer, p. 73-90 18 p. (Lecture notes in computer science, Vol. 9634).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2015
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
Thomsen, M. K., Kaarsgaard, R. & Soeken, M., 2015, Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 200-215 16 p. (Lecture notes in computer science, Vol. 9138).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review