TY - RPRT TI - Typed compositional quantum computation with lenses AU - Jacques Garrigue AU - Takafumi Saikawa PY - 2026 UR - https://arxiv.org/abs/2311.14347 ID - 2311.14347 ER -