List of works - Robin Kaarsgaard - Paulina

List of works by Robin Kaarsgaard

A Categorical Foundation for Structured Reversible Flowchart Languages

scientific article published in April 2018

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits

scientific article published in 2016

Foundations of Reversible Computation

scientific article published in 2020

How to Bake a Quantum Π

scientific article published on 15 August 2024

Join inverse categories and reversible recursion

scientific article published in February 2017

Quantum information effects

scientific article published on 12 January 2022

With a Few Square Roots, Quantum Computing Is as Easy as Pi

scientific article published on 05 January 2024

Paulina is supported by:

About Paulina

Help