| The logic of categorial grammars: a deductive account of natural language syntax and semantics R Moot, C Retoré Springer, 2012 | 208 | 2012 |
| Proof nets for linguistic analysis R Moot Ph. D. thesis, Utrecht Institute of Linguistics OTS, Utrecht University, 2002 | 110 | 2002 |
| Proof nets for the multimodal Lambek calculus R Moot, Q Puite Studia Logica 71, 415-442, 2002 | 57 | 2002 |
| Linguistic applications of first order intuitionistic linear logic R Moot, M Piazza Journal of Logic, Language and Information 10 (2), 211-232, 2001 | 48 | 2001 |
| Wide-coverage French syntax and semantics using Grail R Moot TALN 2010, 2010 | 39 | 2010 |
| A type-logical treebank for French R Moot Journal of Language Modelling 3 (1), 229–264-229–264, 2015 | 34 | 2015 |
| Automated extraction of type-logical supertags from the spoken dutch corpus R Moot Complexity of Lexical Descriptions and its Relevance to Natural Language …, 2010 | 31* | 2010 |
| Semi-automated extraction of a wide-coverage type-logical grammar for French R Moot TALN 2010, 2010 | 30 | 2010 |
| Proof nets for display logic R Moot arXiv preprint arXiv:0711.2444, 2007 | 30 | 2007 |
| Neural proof nets K Kogkalidis, M Moortgat, R Moot arXiv preprint arXiv:2009.12702, 2020 | 26 | 2020 |
| The Grail theorem prover: Type theory for syntax and semantics R Moot Modern Perspectives in Type-Theoretical Semantics, 247-277, 2017 | 26 | 2017 |
| Generalized quantifiers in declarative and interrogative sentences R Bernardi, R Moot Logic Journal of IGPL 11 (4), 419-434, 2003 | 26 | 2003 |
| Proof nets for the Lambek-Grishin calculus M Moortgat, R Moot arXiv preprint arXiv:1112.6384, 2011 | 25 | 2011 |
| Grail: An automated proof assistant for categorial grammar logics R Moot Proceedings of the 1998 User Interfaces for Theorem Provers Conference, 120-129, 1998 | 25 | 1998 |
| Natural language semantics and computability R Moot, C Retoré Journal of Logic, Language and Information 28, 287-307, 2019 | 24 | 2019 |
| Hybrid type-logical grammars, first-order linear logic and the descriptive inadequacy of lambda grammars R Moot arXiv preprint arXiv:1405.6678, 2014 | 22 | 2014 |
| Extended Lambek calculi and first-order linear logic R Moot Categories and Types in Logic, Language, and Physics: Essays Dedicated to …, 2014 | 21 | 2014 |
| Lambek grammars, tree adjoining grammars and hyperedge replacement grammars R Moot Proceedings of the Ninth International Workshop on Tree Adjoining Grammar …, 2008 | 20 | 2008 |
| \AE THEL: Automatically Extracted Typelogical Derivations for Dutch K Kogkalidis, M Moortgat, R Moot arXiv preprint arXiv:1912.12635, 2019 | 19 | 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 | 19 | 2011 |
Christian RETORÉprofesseur d'informatique, université de MontpellierVerified email at lirmm.fr
