Manuscript En02-A@1 · En02-A-v1.tex · bibliography · bb1319d5
References
Declarations · lines 2933–2989
I
N. Cheung,
{Born–Lüders as the unique measurement strategy of a strictly
linear quantum -calculus: The Enter Calculus}.
Registered manuscript I, version 1, .tex.
Stable locators used here include
:strategy-class,
:requirements,
:record,
:diamond,
:confluence,
:uniformity,
:three,
:fine-anchor,
:born,
:update,
:stability, and
:main.
Source interface:
https://enter.grok.me/browse/I.
XEnter
N. Cheung,
X-Enter.
Registered manuscript, version 1, -Enter.tex.
Finite readout interface and complete selective-record formulas,
including :instrument and :recordchannel.
Source interface:
https://enter.grok.me.
Watrous
J. Watrous,
The Theory of Quantum Information.
Cambridge University Press, 2018.
Chapter 2: completely positive maps, Kraus representations,
Stinespring representations, and instruments.
Author's reference interface:
https://cs.uwaterloo.ca/ watrous/TQI/.
Em02B
N. Cheung,
Em02-B.
Manuscript, version 1.
Package-boundary remark :package.
Cited only for the distinction between package evidence and proof.
XVIO
N. Cheung,
XVI-O.
Manuscript, version 70-sync.
Package-boundary remark :package.
Cited only for the distinction between an archive or pass flag and
a mathematical certificate.