TY  - RPRT
TI  - The Structure and Interpretation of Quantum Programs I: Foundations
AU  - David Wakeham
PY  - 2025
UR  - https://arxiv.org/abs/2509.04527
ID  - 2509.04527
ER  -