10 citations · 10 across the 4 of their papers we have counts for
1 paper · 2 filters
David Wakeham
Qubits are a great way to build a quantum computer, but a limited way to program one. We replace the usual "states and gates" formalism with a "props and ops" (propositions and ope…