Manuscript II-B@1 · II-B-v1.tex · section · bfd2eb3c

The clock instrument

Finite names and the destructive clock › The clock instrument · lines 1364–1372

Back to manuscript

Coherent recording, a nondestructive instrument retaining , and (eq:instrument) are different interfaces. Discarding the retained from the nondestructive instrument recovers (eq:instrument); it does not identify their larger output interfaces.

Nearby in this section