A linear-typed higher-order language realises indefinite causal orders on general quantum channels (including measurements), with soundness in Caus[CPM] and expressivity covering all first-order channels plus a large class of QC-QCs.
Two linearities for quantum computing in the lambda calculus
1 Pith paper cite this work, alongside 23 external citations. Polarity classification is still indexing.
1
Pith paper citing it
23
external citations · external index
fields
cs.LO 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes
A linear-typed higher-order language realises indefinite causal orders on general quantum channels (including measurements), with soundness in Caus[CPM] and expressivity covering all first-order channels plus a large class of QC-QCs.