Theo Wang -

Registered user since Thu 18 Jan 2024

Name:Theo Wang

Affiliation:University of Oxford

Contributions

2025

PLanQC

Author of Algebraic and denotational semantics for Classically Controlled Quantum Communication within the PLanQC 2025-track

2024

POPL

Author of Exploring the limitations of Contextual Modal Type Theory for Multi-Stage Programming within the Student Research Competition-track