Une logique pour représenter des variations propositionnelles. - Nicolas François; Thomas Laure; Jean Lieber (JIAF, 2023)

Existential and positive games: a comonadic and axiomatic view. - Samson Abramsky; Thomas Laure; Luca Reggio (CoRR, 2025)