Manuscript I@2 · I.tex · section · 85631fa7
Path maps and circuit adequacy
Metatheory of the specified calculus › Path maps and circuit adequacy · lines 809–816
A first-order interface has only finite classical and quantum data at input and output. Internal higher-order terms are allowed. For a fixed classical input, the quantum input and output spaces are fixed by the interface.