TY - RPRT TI - Encoding High-level Quantum Programs as SZX-diagrams AU - Augustin Borgna AU - Rafael Romero PY - 2023 DO - 10.4204/eptcs.394.9 UR - https://arxiv.org/abs/2206.09376 ID - 2206.09376 ER -