research
∙
02/03/2023
The Quantum Effect: A Recipe for QuantumPi
Free categorical constructions characterise quantum computing as the com...
share
research
∙
05/12/2022
Retrodictive Quantum Computing
Quantum models of computation are widely believed to be more powerful th...
research
∙
10/11/2021
Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages
The Π family of reversible programming languages for boolean circuits is...
research
∙
02/17/2020
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
In reversible computing, the management of space is subject to two broad...
research
∙
11/08/2018
Embracing the Laws of Physics: Three Reversible Models of Computation
Our main models of computation (the Turing Machine and the RAM) make fun...
research
∙
04/03/2018
From Symmetric Pattern-Matching to Quantum Control (Extended Version)
One perspective on quantum algorithms is that they are classical algorit...
research
∙
08/09/2017