13 citations · 31 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 6 cited
With a Few Square Roots, Quantum Computing is as Easy as Π
Jacques Carette, Chris Heunen, Robin Kaarsgaard +1
Rig groupoids provide a semantic model of \PiLang, a universal classical reversible programming language over finite types. We prove that extending rig groupoids with just two maps…
cs.PL2023★ 2 cited
The Quantum Effect: A Recipe for QuantumPi
Jacques Carette, Chris Heunen, Robin Kaarsgaard +1
Free categorical constructions characterise quantum computing as the combination of two copies of a reversible classical model, glued by the complementarity equations of classical…