Manuscript En03-A@1 · En03-A.tex · section · 5398614e
External geometry and transition strata
Typed interfaces and semantic configurations › External geometry and transition strata · lines 493–498
Interfaces may change under commands. Destructive measurement replaces measured quantum names by fresh record names. An identity extension always refers to the current unacted-on interface.