2009/03/09 by Juliana Kaizer Vizzotto, Vizzotto, Juliana Kaizer, André Rauber Du Bois +3
Computer Science · #Computability, Logic, AI Algorithms #FOS: Physical sciences #Logic, programming, and type systems #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
paper · pdf · doi:10.48550/arxiv.0903.1489
openalex publication_date 2009/03/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We express quantum computations (with measurements) using the arrow calculus extended with monadic constructions. This framework expresses quantum programming using well-understood and familiar classical patterns for programming in the presence of computational effects. In addition, the five laws of the arrow calculus provide a convenient framework for equational reasoning about quantum computations that include measurements.