2 citations · 2 across the 1 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2009★ 2 cited
The Arrow Calculus as a Quantum Programming Language
Juliana Kaizer Vizzotto, Andre Rauber Du Bois, Amr Sabry
We express quantum computations (with measurements) using the arrow calculus extended with monadic constructions. This framework expresses quantum programming using well-understood…
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…