17 citations · 77 across the 28 of their papers we have counts for
3 papers · 1 filter
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…
Generating Software for Well-Understood Domains
Jacques Carette, Spencer Smith, Jason Balaci
Current software development is often quite code-centric and aimed at short-term deliverables, due to various contextual forces (such as the need for new revenue streams from many…
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…