| The logic of categorial grammars: a deductive account of natural language syntax and semantics R Moot, C Retoré Springer, 2012 | 178 | 2012 |
| Proof nets for linguistic analysis RCA Moot | 106 | 2002 |
| Proof nets for the multimodal Lambek calculus R Moot, Q Puite Studia Logica 71, 415-442, 2002 | 53 | 2002 |
| Linguistic applications of first order intuitionistic linear logic R Moot, M Piazza Journal of Logic, Language and Information 10 (2), 211-232, 2001 | 42 | 2001 |
| Wide-coverage French syntax and semantics using Grail R Moot TALN 2010, 2010 | 40 | 2010 |
| Automated extraction of type-logical supertags from the spoken dutch corpus R Moot Complexity of Lexical Descriptions and its Relevance to Natural Language …, 2010 | 32* | 2010 |
| A type-logical treebank for French R Moot Journal of Language Modelling 3 (1), 229–264-229–264, 2015 | 30 | 2015 |
| Semi-automated extraction of a wide-coverage type-logical grammar for French R Moot TALN 2010, 2010 | 28 | 2010 |
| Proof nets for display logic R Moot arXiv preprint arXiv:0711.2444, 2007 | 28 | 2007 |
| Generalized quantifiers in declarative and interrogative sentences R Bernardi, R Moot Logic Journal of IGPL 11 (4), 419-434, 2003 | 25 | 2003 |
| Grail: An automated proof assistant for categorial grammar logics R Moot, CG Logics | 25 | 1998 |
| The Grail theorem prover: Type theory for syntax and semantics R Moot Modern Perspectives in Type-Theoretical Semantics, 247-277, 2017 | 22 | 2017 |
| Proof nets for the Lambek-Grishin calculus M Moortgat, R Moot arXiv preprint arXiv:1112.6384, 2011 | 22 | 2011 |
| Hybrid type-logical grammars, first-order linear logic and the descriptive inadequacy of lambda grammars R Moot arXiv preprint arXiv:1405.6678, 2014 | 21 | 2014 |
| Natural language semantics and computability R Moot, C Retoré Journal of Logic, Language and Information 28, 287-307, 2019 | 20 | 2019 |
| A discursive analysis of itineraries in an historical and regional corpus of travels R Moot, L Prévot, C Retoré Constraints in discourse, http://passage. inria. fr/cid2011/doku. php, 2011 | 20 | 2011 |
| Extended Lambek calculi and first-order linear logic R Moot Categories and Types in Logic, Language, and Physics: Essays Dedicated to …, 2014 | 18 | 2014 |
| Neural proof nets K Kogkalidis, M Moortgat, R Moot arXiv preprint arXiv:2009.12702, 2020 | 17 | 2020 |
| \AE THEL: Automatically Extracted Typelogical Derivations for Dutch K Kogkalidis, M Moortgat, R Moot arXiv preprint arXiv:1912.12635, 2019 | 16 | 2019 |
| CGN to Grail: Extracting a type-logical lexicon from the CGN annotation M Moortgat, R Moot Computational Linguistics in the Netherlands 2000, 126-143, 2001 | 16 | 2001 |
Christian RETORÉprofesseur d'informatique, université de MontpellierGeverifieerd e-mailadres voor lirmm.fr
