1. From Thin Concurrent Games to Generalized Species of Structures;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Full abstraction for the quantum lambda-calculus;Proceedings of the ACM on Programming Languages;2020-01
3. Game semantics for quantum programming;Proceedings of the ACM on Programming Languages;2019-01-02
4. Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side;Proceedings of the ACM on Programming Languages;2019-01-02
5. Causality in Linear Logic;Lecture Notes in Computer Science;2019