Manuscript I@2 · I.tex · section · 85631fa7
Path maps and circuit adequacy
Metatheory of the specified calculus › Path maps and circuit adequacy · lines 884–890
The CP-map language here is the standard finite-dimensional instrument language; its operator-sum and dilation background is provided by Choi and Stinespring Choi,Stinespring. The adequacy proof itself is included above.