The Arrow Calculus as a Quantum Programming Language
classification
🪐 quant-ph
keywords
quantumarrowcalculusprogrammingcomputationsframeworkmeasurementsaddition
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.