A denotational semantics ofLC2. - Myriam Quatrini (Arch. Math. Log., 1996)

First order in Ludics. - Marie-Renée Fleury; Myriam Quatrini (Math. Struct. Comput. Sci., 2004)

Polarized and focalized linear and classical proofs. - Olivier Laurent 001; Myriam Quatrini; Lorenzo Tortora de Falco (Ann. Pure Appl. Log., 2005)

A Mixed lambda-calculus. - Marie-Renée Fleury; Myriam Quatrini (Stud Logica, 2007)

Ludics and Its Applications to Natural Language Semantics. - Alain Lecomte; Myriam Quatrini (WoLLIC, 2009)

Dialogues in Ludics. - Marie-Renée Fleury; Myriam Quatrini; Samuel Tronçon (Logic and Grammar, 2011)

Figures of dialogue: a view from Ludics. - Alain Lecomte; Myriam Quatrini (Synth., 2011)

Ludics and Rhetorics. - Alain Lecomte; Myriam Quatrini (PRELUDE Project, 2011)

Ludics and Natural Language: First Approaches. - Christophe Fouqueré; Myriam Quatrini (LACL, 2012)

Incarnation in Ludics and maximal cliques of paths. - Christophe Fouqueré; Myriam Quatrini (Log. Methods Comput. Sci., 2013)

Ludics Characterization of Multiplicative-Additive Linear Behaviours. - Christophe Fouqueré; Myriam Quatrini (CoRR, 2014)

Study of Behaviours via Visitable Paths. - Christophe Fouqueré; Myriam Quatrini (Log. Methods Comput. Sci., 2018)

Gödel's Absolute Proofs and Girard's Ludics: Mutual Insights. - Gabriella Crocco; Myriam Quatrini (Perspectives on Deduction, 2024)