Manuscript I@2 · I.tex · section · 85631fa7
Path maps and circuit adequacy
Metatheory of the specified calculus › Path maps and circuit adequacy · lines 914–919
This is a calculus-level application of semantic no-cloning, rather than an inference from the absence of contraction; compare Wootters and Zurek WoottersZurek.