Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
