most citedGottesman Types for Quantum Programs

10 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2021★ 10 cited

Gottesman Types for Quantum Programs

Robert Rand, Aarthi Sundaram, Kartik Singhal +1

The Heisenberg representation of quantum operators provides a powerful technique for reasoning about quantum circuits, albeit those restricted to the common (non-universal) Cliffor…