One Rig to Control Them All - A Theory for Computational Control

Learn about a novel theory for computational control through this 23-minute conference presentation from the PLanQC 2026 workshop. Explore eight naturally interpretable equations that form the foundation of this control theory and discover how adding these equations to a prop of base circuits enables the construction of controlled circuits. Examine practical applications through examples of reversible Boolean circuits and quantum circuits, and understand the semantic correspondence between this syntactic construction and taking the free rig category on the base prop. Gain insights into advanced theoretical computer science concepts at the intersection of programming languages and quantum computing from researchers at the University of Edinburgh and University of Southern Denmark.