Complete positivity and natural representation of quantum computations
We propose a new `quantum domain theory' in which Scott-continuous functions are replaced by Scott-continuous natural transformations. Completely positive maps are widely accepted as a model of first-order quantum computation. We begin by establishing a categorical characterization of complete...
| Glavni autori: | , |
|---|---|
| Format: | Conference item |
| Izdano: |
Elsevier
2015
|