6 citations · 6 across the 7 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
A Verified Compiler for Quantum Simulation
Liyi Li, Fenfen An, Federico Zahariev +3
Hamiltonian simulation is a central application of quantum computing, with significant potential in modeling physical systems and solving complex optimization problems. Existing co…
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…