Proof-Nets And Dependencies. - Alain Lecomte (COLING, 1992)

Towards efficient parsing with proof-nets. - Alain Lecomte (EACL, 1993)

Logical Aspects of Computational Linguistics: An Introduction. - Patrick Blackburn; Marc Dymetman; Alain Lecomte; Aarne Ranta; Christian Retoré; Éric Villemonte de la Clergerie (LACL, 1996)

Categorial Minimalism. - Alain Lecomte (LACL, 1998)

Proof-Nets, Hybrid Logics and Minimalist Representations. - Alain Lecomte (Grammars, 2000)

Extending Lambek Grammars: a Logical Account of Minimalist Grammars. - Alain Lecomte; Christian Retoré (ACL, 2001)

On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information. - Areski Nait Abdallah; Alain Lecomte (LACL, 2005)

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

Categorial Minimalist Grammar - Maxime Amblard; Alain Lecomte; Christian Retoré (CoRR, 2010)

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

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