TY - RPRT TI - Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime AU - Kengo Hirata AU - Chris Heunen PY - 2024 DO - 10.1145/3704842 UR - https://arxiv.org/abs/2411.10835 ID - 2411.10835 ER -