Concurrent games and full completeness, LICS, pp.431-442, 1999. ,
Concurrent structures in game semantics. (Structures concurrentes en sémantique des jeux), 2017. ,
URL : https://hal.archives-ouvertes.fr/tel-01587718
The concurrent game semantics of probabilistic PCF, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, pp.215-224, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01886965
The parallel intensionally fully abstract games model of PCF, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, pp.232-243, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01286477
Thin games with symmetry and concurrent hyland-ong games, Logical Methods in Computer Science, vol.15, issue.1, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01068769
A tale of additives and concurrency in game semantics, 2020. ,
Full abstraction for the quantum lambdacalculus, Proc. ACM Program. Lang, vol.4, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-02863835
Probabilistic coherence spaces as a model of higher-order probabilistic computation, Inf. Comput, vol.209, issue.6, pp.966-991, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00640435
Weighted relational models of typed lambda-calculi, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, pp.301-310, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01144064
Asynchronous games 4: A fully complete model of propositional linear logic, LICS, pp.386-395, 2005. ,
Asynchronous games: Innocence without alternation, CONCUR, pp.395-411, 2007. ,
Applying quantitative semantics to higher-order quantum computing, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.647-658, 2014. ,
Concurrent strategies, LICS, pp.409-418, 2011. ,