A type system with a generalized parallel product and higher-order complete-positivity cones is proposed as a uniform framework for higher-order quantum theory.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
quant-ph 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Towards the simulation of higher-order quantum resources: a general type-theoretic approach
A type system with a generalized parallel product and higher-order complete-positivity cones is proposed as a uniform framework for higher-order quantum theory.