TY  - RPRT
TI  - Hadamard-Pi: Equational Quantum Programming
AU  - Wang Fang
AU  - Chris Heunen
AU  - Robin Kaarsgaard
PY  - 2025
DO  - 10.1145/3776647
UR  - https://arxiv.org/abs/2506.06835
ID  - 2506.06835
ER  -