TY  - RPRT
TI  - Completeness of the ZH-calculus
AU  - Miriam Backens
AU  - Aleks Kissinger
AU  - Hector Miller-Bakewell
AU  - John van de Wetering
AU  - Sal Wolffs
PY  - 2023
DO  - 10.32408/compositionality-5-5
UR  - https://arxiv.org/abs/2103.06610
ID  - 2103.06610
ER  -