| The logic of categorial grammars: a deductive account of natural language syntax and semantics R Moot, C Retoré Springer, 2012 | 141 | 2012 |
| Proof nets for lingusitic analysis RCA Moot | 103 | 2002 |
| Proof nets for the multimodal Lambek calculus R Moot, Q Puite Studia Logica 71 (3), 415-442, 2002 | 50 | 2002 |
| Wide-coverage French syntax and semantics using Grail R Moot TALN 2010, 2010 | 40 | 2010 |
| Linguistic applications of first order intuitionistic linear logic R Moot, M Piazza Journal of Logic, Language and Information 10 (2), 211-232, 2001 | 36 | 2001 |
| Automated extraction of type-logical supertags from the spoken dutch corpus R Moot Complexity of Lexical Descriptions and its Relevance to Natural Language …, 2010 | 29* | 2010 |
| 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 | 25 | 2007 |
| Grail: An automated proof assistant for categorial grammar logics R Moot, CG Logics | 25 | 1998 |
| Generalized quantifiers in declarative and interrogative sentences R Bernardi, R Moot Logic Journal of IGPL 11 (4), 419-434, 2003 | 23 | 2003 |
| A type-logical treebank for french R Moot Journal of Language Modelling 3 (1), 229–264-229–264, 2015 | 20 | 2015 |
| Proof nets for the Lambek-Grishin calculus M Moortgat, R Moot arXiv preprint arXiv:1112.6384, 2011 | 20 | 2011 |
| 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 |
| The Grail theorem prover: Type theory for syntax and semantics R Moot Modern Perspectives in Type-Theoretical Semantics, 247-277, 2017 | 17 | 2017 |
| Hybrid type-logical grammars, first-order linear logic and the descriptive inadequacy of lambda grammars R Moot arXiv preprint arXiv:1405.6678, 2014 | 15 | 2014 |
| Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyages R Moot, L Prévot, C Retoré | 15 | 2011 |
| Lambek grammars, tree adjoining grammars and hyperedge replacement grammars R Moot Proceedings of the Ninth International Workshop on Tree Adjoining Grammar …, 2008 | 15 | 2008 |
| 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 | 15 | 2001 |
| Extended Lambek calculi and first-order linear logic R Moot Categories and Types in Logic, Language, and Physics, 297-330, 2014 | 14 | 2014 |
| Natural language semantics and computability R Moot, C Retoré Journal of Logic, Language and Information 28 (2), 287-307, 2019 | 13 | 2019 |
Christian RETORÉprofesseur d'informatique, université de MontpellierVerified email at lirmm.fr
