TY  - RPRT
TI  - Type-Based Verification of Connectivity Constraints in Lattice Surgery
AU  - Ryo Wakizaka
AU  - Yasunari Suzuki
AU  - Atsushi Igarashi
PY  - 2024
DO  - 10.1007/978-981-97-8943-6_11
UR  - https://arxiv.org/abs/2409.00529
ID  - 2409.00529
ER  -