Yannick Delbecque — site personnel

Research

My main research interests are game semantics and quantum computing.

My Ph.D thesis, Quantum Games as Quantum Types discuss the use of quantum games as quantum types for quantum programming languages. Main result: denotational semantics constructed using quantum games for two quantum \(\lambda\)-calculi.

Publications