Towards the simulation of higher-order quantum resources: a general type-theoretic approach

Samuel B. Steakley, Elia Zanoni, Carlo Maria Scandolo

Quantum resources exist in a hierarchy of multiple levels. At order zero, quantum states are transformed by linear maps (channels, or gates) in order to perform computations or sim…