Algebraic and Denotational Semantics for Classically Controlled Quantum Communication

Explore a conference talk from PLanQC 2025 that presents a systematic study of semantics for classically controlled quantum communication. Theo Wang and Sam Staton from the University of Cambridge and University of Oxford introduce a parameterized algebraic theory for classically controlled quantum I/O and provide two sound models: a quantum-stream-based operational semantics and a monadic denotational semantics. Learn how these two models correspond to the same notion of communication, with the latter being adequate and fully abstract with respect to the former. This 22-minute presentation was delivered at the PLanQC 2025 workshop on January 25, 2025, sponsored by ACM SIGPLAN.