References

Convolution

X-A–Convolution: convolution manuscript. Companion source for the convolution prescription, its intertwining identity, zero action identity, and positive witness coefficient $c_{\epsilon }$. The premises used here are reproduced in Section subsec:convolution. Descriptive manuscript identifier; additional publication metadata were not supplied.

Ramp

Ramp Prescription: ramp manuscript. Companion source, Theorem (main) and edge proposition. Used only for the supported identity ${\mathrm{Co}}_1[K\xi ]=\xi$, the stated classical observable cancellation, and the excluded-edge integral. The copied premises appear in Section subsec:ramp; their comparison appears in Section sec:R. Descriptive manuscript identifier; additional publication metadata were not supplied.

I

N. Cheung. {Born–Lüders as the unique measurement strategy of a strictly linear quantum $\lambda$-calculus: The Enter Calculus}. Landmark I, source I.tex. Used for the stated strategy characterization, ownership typing, and finite Born path semantics.

Watrous

J. Watrous. The Theory of Quantum Information. Cambridge University Press, 2018. Section 2.3.2 and Corollary 3.40. Standard background for selective instruments and trace-norm contraction.