B. S. Joshi-a, Supertagging : Using Complex Lexical Descriptions in Natural Language Processing, 2011.

B. P. , Constraints, linguistic theories, and natural language processing, International Conference on Natural Language Processing, pp.221-232, 2000.

B. R. , Uno studio sull'apprendibilità delle grammatiche di Lambek rigide-a study on learnability for rigid Lambek grammars, 2000.

B. , Learning lambek grammars from proof frames, Categories and Types in Logic, Language, and Physics, pp.108-135, 2014.

B. W. , Discovery procedures for categorial grammars. Categories, Polymorphism and Unification, pp.35-64, 1987.

B. W. Penn-g, Categorial grammars determined from linguistic data by unification, Studia Logica, vol.49, issue.4, pp.431-454, 1990.

D. , Directly executable constraint based grammars, Proc. Journees Francophones de Programmation en Logique avec Contraintes, pp.149-166, 2004.

D. , Weak constraints and preference rules. Studies in Machine Translation and Natural Language Processing, pp.75-90, 1993.

J. K. Heidorn, G. E. Miller-l, and . Ravin-y, Parse fitting and prose fixing : getting a hold on ill-formedness, Computational Linguistics, vol.9, issue.3-4, pp.147-160, 1983.

J. A. Kulick-s, Partial proof trees as building blocks for a categorial grammar, Linguistics and Philosophy, vol.20, issue.6, pp.637-667, 1997.

K. , From discourse to logic ; introduction to the modeltheoretic semantics of natural language, 1993.

K. M. , Learnable Classes of Categorial Grammars, 1998.

L. J. , The mathematics of sentence structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.

L. C. Chodorow, M. Gamon, and M. &. Tetreault-j, Automated grammatical error detection for language learners, vol.3, pp.1-134, 2010.

M. C. , Some chart-based techniques for parsing ill-formed input, Proceedings of the 27th annual meeting on Association for Computational Linguistics, pp.102-109, 1989.

M. R. , Wide-coverage French syntax and semantics using Grail, Proceedings of Traitement Automatique des Langues Naturelles (TALN), 2010.

M. R. , A type-logical treebank for french, Journal of Language Modelling, vol.3, issue.1, pp.229-264, 2015.

M. , The logic of categorial grammars : a deductive account of natural language syntax and semantics, vol.6850, 2012.

M. G. , Incremental processing and acceptability, Computational linguistics, vol.26, issue.3, pp.319-338, 2000.

P. , Modelling Syntactic Gradience with Loose Constraint-based Parsing 8, 2009.

, Modélisation de la gradience syntaxique par analyse relâchéea base de contraintes

P. G. Scholz-b, On the distinction between model-theoretic and generativeenumerative syntactic frameworks, International Conference on Logical Aspects of Computational Linguistics, pp.17-43, 2001.

S. F. , Recognizing syntactic errors in the writing of second language learners, Proceedings of the 17th international conference on Computational linguistics, vol.2, pp.1198-1204, 1998.

U. D. , The art of computer programming, vol.1, 1973.

V. , Robust chart parsing with mildly inconsistent feature structures. Nonclassical feature systems, vol.10, pp.197-216, 1995.