Preprint
With a Few Square Roots, Quantum Computing is as Easy as {\Pi}
Abstract
Rig groupoids provide a semantic model of \PiLang, a universal classical
reversible programming language over finite types. We prove that extending rig
Authors
Carette J; Heunen C; Kaarsgaard R; Sabry A
Publication date
October 21, 2023
DOI
10.48550/arxiv.2310.14056
Preprint server
arXiv