Follow
Richard Moot
Richard Moot
Research Scientist, CNRS, LIRMM, University of Montpellier
Verified email at lirmm.fr
Title
Cited by
Cited by
Year
The logic of categorial grammars: a deductive account of natural language syntax and semantics
R Moot, C Retoré
Springer, 2012
1962012
Proof nets for linguistic analysis
R Moot
Ph. D. thesis, Utrecht Institute of Linguistics OTS, Utrecht University, 2002
1072002
Proof nets for the multimodal Lambek calculus
R Moot, Q Puite
Studia Logica 71, 415-442, 2002
532002
Linguistic applications of first order intuitionistic linear logic
R Moot, M Piazza
Journal of Logic, Language and Information 10 (2), 211-232, 2001
452001
Wide-coverage French syntax and semantics using Grail
R Moot
TALN 2010, 2010
402010
A type-logical treebank for French
R Moot
Journal of Language Modelling 3 (1), 229–264-229–264, 2015
332015
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
Semi-automated extraction of a wide-coverage type-logical grammar for French
R Moot
TALN 2010, 2010
292010
Proof nets for display logic
R Moot
arXiv preprint arXiv:0711.2444, 2007
282007
Generalized quantifiers in declarative and interrogative sentences
R Bernardi, R Moot
Logic Journal of IGPL 11 (4), 419-434, 2003
262003
Grail: An automated proof assistant for categorial grammar logics
R Moot
Proceedings of the 1998 User Interfaces for Theorem Provers Conference, 120-129, 1998
251998
Proof nets for the Lambek-Grishin calculus
M Moortgat, R Moot
arXiv preprint arXiv:1112.6384, 2011
232011
The Grail theorem prover: Type theory for syntax and semantics
R Moot
Modern Perspectives in Type-Theoretical Semantics, 247-277, 2017
222017
Hybrid type-logical grammars, first-order linear logic and the descriptive inadequacy of lambda grammars
R Moot
arXiv preprint arXiv:1405.6678, 2014
222014
Natural language semantics and computability
R Moot, C Retoré
Journal of Logic, Language and Information 28, 287-307, 2019
212019
Extended Lambek calculi and first-order linear logic
R Moot
Categories and Types in Logic, Language, and Physics: Essays Dedicated to …, 2014
202014
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
202011
Neural proof nets
K Kogkalidis, M Moortgat, R Moot
arXiv preprint arXiv:2009.12702, 2020
192020
\AE THEL: Automatically Extracted Typelogical Derivations for Dutch
K Kogkalidis, M Moortgat, R Moot
arXiv preprint arXiv:1912.12635, 2019
172019
Lambek grammars, tree adjoining grammars and hyperedge replacement grammars
R Moot
Proceedings of the Ninth International Workshop on Tree Adjoining Grammar …, 2008
172008
The system can't perform the operation now. Try again later.
Articles 1–20