Journal article
Structuring quantum effects: superoperators as arrows
Abstract
We show that the model of quantum computation based on density matrices and superoperators can be decomposed into a pure classical (functional) part and an effectful part modelling probabilities and measurement. The effectful part can be modelled using a generalisation of monads called arrows. We express the resulting executable model of quantum computing in the Haskell programming language using its special syntax for arrow computations. …
Authors
VIZZOTTO J; ALTENKIRCH T; SABRY A
Journal
Mathematical Structures in Computer Science, Vol. 16, No. 3, pp. 453–468
Publisher
Cambridge University Press (CUP)
Publication Date
6 2006
DOI
10.1017/s0960129506005287
ISSN
0960-1295