39 citations · 134 across the 20 of their papers we have counts for
Showing 2005 · quant-phShow all
2 papers · 2 filters
quant-ph2005★ 39 cited
An Algebra of Pure Quantum Programming
Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto +1
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previous…
quant-ph2005★ 2 cited
Structuring quantum effects: superoperators as arrows
J. K. Vizzotto, T. Altenkirch, A. Sabry
We show that the model of quantum computation based on density matrices and superoperators can be decomposed in a pure classical (functional) part and an effectful part modeling pr…