Manuscript Em04-A@2 · Em04-A-v2.tex · section · f5b28abc
Finite local instruments and typed records
Finite local instruments and typed records · lines 922–926
The ordinary finite-channel framework is described in Watrous. The identities needed here are proved explicitly.