@misc{indiciae90b8a57f71e7,
  title = {Expectation-based Analysis of Higher-Order Quantum Programs},
  author = {Martin Avanzini and Alejandro Díaz-Caro and Emmanuel Hainry and Romain Péchoux},
  year = {2026},
  url = {https://arxiv.org/abs/2504.18441},
  note = {Source identifier: 2504.18441}
}