P. Hendriks, Ellipsis and multimodal categorial type logicProceedings of Formal Grammar, pp.107-122, 1995.

M. Moortgat, In situ binding: A modal analysis, Proceedings 10th Amsterdam Colloquium', ILLC, pp.539-549, 1996.

M. Moortgat, Typelogical grammar', Stan- ford Encyclopedia of Philosophy Website, 2010.

M. Moortgat, Categorial type logicsHandbook of Logic and Language, pp.95-179, 2011.

R. Moot, Semi-automated extraction of a wide-coverage type-logical grammar for French, Proceedings of Traitement Automatique des Langues Naturelles, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00494062

R. Moot, Wide-coverage semantics for spatio-temporal reasoning, Traitement Automatique des Languages, vol.53, issue.2, pp.115-142, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00759928

R. Moot, TLGbank: A type-logical treebank for French, 2015.
DOI : 10.15398/jlm.v3i1.92
URL : http://jlm.ipipan.waw.pl/index.php/JLM/article/download/92/102

R. Moot, A type-logical treebank for French, Journal of Language Modelling, vol.3, issue.1, pp.229-264, 2015.
DOI : 10.15398/jlm.v3i1.92
URL : http://jlm.ipipan.waw.pl/index.php/JLM/article/download/92/102

R. Moot, The Grail theorem prover: Type theory for syntax and semanticsModern Perspectives in Type Theoretical Semantics, Studies in Linguistics and Philosophy, pp.247-277, 2017.

R. Moot, Grail light', https://github.com/RichardMoot/GrailLight. Chart-based parser for type-logical grammars, 2018.

R. Moot and C. Retoré, The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics, number 6850 in 'Lecture Notes in Artificial Intelligence, 2012.
DOI : 10.1007/978-3-642-31555-8

S. Shieber, Y. Schabes, and F. Pereira, Principles and implementation of deductive parsing, The Journal of Logic Programming, vol.24, issue.1-2, pp.3-36, 1995.
DOI : 10.1016/0743-1066(95)00035-I