TY - RPRT TI - Denotational semantics for stabiliser quantum programs AU - Robert I. Booth AU - Cole Comfort PY - 2025 UR - https://arxiv.org/abs/2511.22734 ID - 2511.22734 ER -