| Functional Quantum Programming (2001) | |||||||||||||||
Abstract | |||||||||||||||
| It has been shown that non-determinism, both angelic and demonic, can be encoded in a functional language in di#erent representation of sets. In this paper we see quantum programming as a special kind of non-deterministic programming where negative probabilities are allowed. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||