Type-Based Verification of Connectivity Constraints in Lattice Surgery.

Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi

Browse the full APLAS paper archive.