Manuscript Hawk04-B@2 · Hawk04-B.tex · section · ba3b0713
Destructive partial readout
A finite typed circuit semantics › Destructive partial readout · lines 734–740
The theorem is about the declared finite fragment. It is neither a complexity theorem nor a normalization theorem for an unprovided larger calculus. It uses the complete branch accounting emphasized in CheungEn02C.