Measurements in Proof Nets as Higher-Order Quantum Circuits
Abstract elided by the publisher.
Related papers
- The geometry of parallelism: classical, probabilistic, and quantum effects POPL 2017
- Compilation of Qubit Circuits to Optimized Qutrit Circuits PLDI 2024
- AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs TACAS 2025
- An Automated Deductive Verification Framework for Circuit-building Quantum Programs ESOP 2021
- A verified optimizer for Quantum circuits POPL 2021
- Error-Tolerant Quantum State Discrimination: Optimization and Quantum Circuit Synthesis TACAS 2026
- Verification of Recursively Defined Quantum Circuits PLDI 2026
- Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages POPL 2025