113 citations · 1.3k across the 83 of their papers we have counts for
3 papers · 2 filters
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…
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…
Duoidally enriched Freyd categories
Chris Heunen, Jesse Sigal
Freyd categories provide a semantics for first-order effectful programming languages by capturing the two different orders of evaluation for products. We enrich Freyd categories in…