Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. - Michael Kirkedal Thomsen; Robin Kaarsgaard; Mathias Soeken (RC, 2015)

Join Inverse Categories as Models of Reversible Recursion. - Holger Bock Axelsen; Robin Kaarsgaard (FoSSaCS, 2016)

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. - Holger Bock Axelsen; Robert Glück; Robin Kaarsgaard (WoLLIC, 2016)

Join inverse categories and reversible recursion. - Robin Kaarsgaard; Holger Bock Axelsen; Robert Glück (J. Log. Algebraic Methods Program., 2017)

mathsf CoreFun : A Typed Functional Reversible Core Language. - Petur Andrias Højgaard Jacobsen; Robin Kaarsgaard; Michael Kirkedal Thomsen (RC, 2018)

A Categorical Foundation for Structured Reversible Flowchart Languages. - Robert Glück; Robin Kaarsgaard (MFPS, 2018)

Reversible Effects as Inverse Arrows. - Chris Heunen; Robin Kaarsgaard; Martti Karvonen (MFPS, 2018)

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. - Robert Glück; Robin Kaarsgaard (Log. Methods Comput. Sci., 2018)

Reversible Programs Have Reversible Semantics. - Robert Glück; Robin Kaarsgaard; Tetsuo Yokoyama (FM Workshops (2), 2019)

En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad. - Robin Kaarsgaard; Niccolò Veltri (MPC, 2019)

Inversion, Iteration, and the Art of Dual Wielding. - Robin Kaarsgaard (RC, 2019)

Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. - Robin Kaarsgaard (MFPS, 2019)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

Graph Traversals as Universal Constructions. - Siddharth Bhaskar; Robin Kaarsgaard (MFCS, 2021)

Bennett and Stinespring, Together at Last. - Chris Heunen; Robin Kaarsgaard (QPL, 2021)

Join inverse rig categories for reversible functional programming, and beyond. - Robin Kaarsgaard; Mathys Rennela (MFPS, 2021)

Algeo: An Algebraic Approach to Reversibility. - Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen (RC, 2022)

Universal Properties of Partial Quantum Maps. - Pablo Andrés-Martínez; Chris Heunen; Robin Kaarsgaard (QPL, 2022)

Combinatory Adjoints and Differentiation. - Martin Elsman; Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen; Robert Schenck 001 (MSFP@ETAPS, 2022)

The Programming of Algebra. - Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen (MSFP@ETAPS, 2022)

Branching execution symmetry in Jeopardy by available implicit arguments analysis. - Joachim Tilsted Kristensen; Robin Kaarsgaard; Michael Kirkedal Thomsen (CoRR, 2022)

Quantum information effects. - Chris Heunen; Robin Kaarsgaard (Proc. ACM Program. Lang., 2022)

From reversible programming languages to reversible metalanguages. - Robert Glück; Robin Kaarsgaard; Tetsuo Yokoyama (Theor. Comput. Sci., 2022)

Tail Recursion Transformation for Invertible Functions. - Joachim Tilsted Kristensen; Robin Kaarsgaard; Michael Kirkedal Thomsen (RC, 2023)

The Quantum Effect: A Recipe for QuantumPi. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (CoRR, 2023)

With a Few Square Roots, Quantum Computing is as Easy as Π. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (CoRR, 2023)

Compositional Reversible Computation. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (RC, 2024)

Jeopardy: An Invertible Functional Programming Language. - Joachim Tilsted Kristensen; Robin Kaarsgaard; Michael Kirkedal Thomsen (RC, 2024)

How to Bake a Quantum Π. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (Proc. ACM Program. Lang., 2024)

With a Few Square Roots, Quantum Computing Is as Easy as Pi. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (Proc. ACM Program. Lang., 2024)

Hadamard-Π: Equational Quantum Programming. - Wang Fang 001; Chris Heunen; Robin Kaarsgaard (CoRR, 2025)