Manuscript Psy04-B@1 · Psy04-B-v1.tex · section · 62c2b6f0
The concrete finite semantics
Sequential qubit routing and explicit Enter operations › The concrete finite semantics · lines 1006–1011
This proof covers the programs used here directly. It does not assume the entire metatheory or measurement-characterization theorem of I.tex.