If you made any changes in Pure these will be visible here soon.
Filter
Article in proceedings

Search results

  • 2023

    Tail Recursion Transformation for Invertible Functions

    Kristensen, J. T., Kaarsgaard, R. & Thomsen, M. K., 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 73-88 (Lecture Notes in Computer Science, Vol. 13960).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Universal Properties of Partial Quantum Maps

    Andrés-Martínez, P., Heunen, C. & Kaarsgaard, R., 16. Nov 2023, Proceedings 19th International Conference on Quantum Physics and Logic . Open Publishing Association, Vol. 394. p. 192-207 16 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    9 Downloads (Pure)
  • 2022

    Algeo: An Algebraic Approach to Reversibility

    Henglein, F., Kaarsgaard, R. & Mathiesen, M. K., 28. Jun 2022, Reversible Computation. Mezzina, C. A. & Podlaski, K. (eds.). Springer, p. 128-145 (Lecture Notes in Computer Science, Vol. 13354).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Combinatory Adjoints and Differentiation

    Elsman, M., Henglein, F., Kaarsgaard, R., Mathiesen, M. K. & Schenck, R., 30. Jun 2022, Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming (MSFP). p. 1-26 (Electronic Proceedings in Theoretical Computer Science, Vol. 360).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    6 Downloads (Pure)
  • The Programming of Algebra

    Henglein, F., Kaarsgaard, R. & Mathiesen, M. K., 30. Jun 2022, Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming. Vol. 360. p. 71-92 (Electronic Proceedings in Theoretical Computer Science, Vol. 360).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    11 Downloads (Pure)
  • 2021

    Bennett and Stinespring, Together at Last

    Heunen, C. & Kaarsgaard, R., 2021, Proceeding of the 18th International Conference on Quantum Physics and Logic (QPL 2021). Vol. 343. p. 102-118 (Electronic Proceedings in Theoretical Computer Science, Vol. 343).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    5 Downloads (Pure)
  • Graph Traversals as Universal Constructions

    Bhaskar, S. & Kaarsgaard, R., 2021, Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 17:1-17:20 17. (Leibniz International Proceedings in Informatics, Vol. 202).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • Join inverse rig categories for reversible functional programming, and beyond

    Kaarsgaard, R. & Rennela, M., 2021, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. Sokolova, A. (ed.). Vol. 351. p. 152-167 (Electronic Proceedings in Theoretical Computer Science, Vol. 351).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    9 Downloads (Pure)
  • 2020

    Reversible Programs Have Reversible Semantics

    Glück, R., Kaarsgaard, R. & Yokoyama, T., 2020, Formal Methods. FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). p. 413-427

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2019

    Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

    Kaarsgaard, R., 2019, MFPS 2019. Vol. 347. p. 179-202

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad

    Kaarsgaard, R. & Veltri, N., 2019, Mathematics of Program Construction- 13th International Conference, MPC 2019, Proceedings. Hutton, G. (ed.). p. 366-384

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Inversion, Iteration, and the Art of Dual Wielding

    Kaarsgaard, R., 2019, Reversible Computation - 11th International Conference, RC 2019, Proceedings. Thomsen, M. K. & Soeken, M. (eds.). p. 34-50

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2018

    A Categorical Foundation for Structured Reversible Flowchart Languages

    Glück, R. & Kaarsgaard, R., 2018, MFPS 2018. Vol. 336. p. 155-171

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. Ulidowski, I. & Kari, J. (eds.). p. 304-321

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Reversible Effects as Inverse Arrows

    Heunen, C., Kaarsgaard, R. & Karvonen, M., 2018, MFPS 2018. Vol. 341. p. 179-199

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 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, Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). p. 52-67

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, Proceedings. Löding, C. & Jacobs, B. (eds.). p. 73-90

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    9 Downloads (Pure)
  • 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, Proceedings. Krivine, J. & Stefani, J-B. (eds.). p. 200-215

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review