Preprint
The Arrow Calculus as a Quantum Programming Language
Abstract
We express quantum computations (with measurements) using the arrow calculus
extended with monadic constructions. This framework expresses quantum
Authors
Vizzotto JK; Bois ARD; Sabry A
Publication date
March 9, 2009
DOI
10.48550/arxiv.0903.1489
Preprint server
arXiv