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…