A. , A. Clément, L. Et, T. , and F. , Building a treebank for french, 2003.

B. , C. Mery, B. Et, R. , and C. , Towards a Type-Theoretical Account of Lexical Semantics, Journal of Logic Language and Information, vol.19, issue.2, pp.229-245, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00408308

B. , J. Vieu, L. Et, A. , and N. , La SDRT : Une approche de la cohérence du discours dans la tradition de la sémantique dynamique, Verbum, XXIII, issue.1, pp.73-101, 2001.

B. , W. Et, P. , and G. , Categorial grammars determined from linguistic data by unification, Studia Logica, vol.49, pp.431-454, 1990.

C. , S. Et, C. , and J. R. , Parsing the WSJ using CCG and log-linear models, Proceedings of the 42nd annual meeting of the ACL, pp.104-111, 2004.

C. , J. Clark, S. Et, B. , and J. , Linguistically motivated large-scale nlp with c&c and boxer, Proceedings of the 45th Annual Meeting of the ACL, pp.33-36, 2007.

K. , H. Et, R. , and U. , From Discourse to Logic, 1993.

M. , M. Van-benthem, J. Ter, M. , and A. , Categorial type logics éditeurs : Handbook of Logic and Language, pp.93-177, 1997.

M. , R. Prévot, L. Et, R. , and C. , Un calcul de termes typés pour la pragmatique lexicale, Traitement Automatique du Langage Naturel, pp.161-166, 2011.

M. , R. Et, R. , and C. , Second order lambda calculus for meaning assembly : on the logical syntax of plurals, 2011.

P. , C. Gagnon, M. Et, M. , and P. , Annotation d'expressions temporelles et d'évènements en français, 2008.

S. , N. Et, M. , and R. , Using tree tranducers for grammatical inference, Proceedings of Logical Aspects of Computational Linguistics 2011, pp.233-250, 2011.