Denotational Semantics for Stabiliser Quantum Programs.

Robert I. Booth, Cole Comfort

Browse the full FSCD paper archive.