Manuscript En04-A@1 · En04-A.tex · section · bab77211
The declared finite fragment
Typed preparation, coherent programs, and Enter › The declared finite fragment · lines 693–699
This is the local version of the complete-history accounting in
CheungEn02B (thm:B1)
and CheungEn02C. A selected success branch is not substituted
for a deterministic decoder.