POPL 2026 (series) / PLanQC 2026 (series) / PLanQC 2026 /
Towards a Non-linear Quantum Lambda Calculus
This paper presents a quantum extension of lambda calculus without linearity, reinterpreting contraction and weakening as logical operations on references to quantum states, rather than on the states themselves. We formally define the calculus with its operational semantics and conjecture that $\beta$-equal classical terms are contextually equivalent. This design enables the seamless integration of classical and quantum programming.
| Extended Abstract (planqc26-paper9.pdf) | 524KiB |