, Building a Treebank for French, of Text, Speech and Language Technology, pp.165-187, 2003.
DOI : 10.1007/978-94-010-0201-1_10
, A natural proof system for natural language, 2017.
, Crossed and nested dependencies in German and Dutch: A psycholinguistic study, Language and Cognitive Processes, vol.10, issue.4, pp.249-262, 1986.
DOI : 10.2307/414385
, Soft lambda-Calculus: A Language for Polynomial Time Computation, Foundations of software science and computation structures, pp.27-41, 2004.
DOI : 10.1007/978-3-540-24727-2_4
URL : https://hal.archives-ouvertes.fr/hal-00085129
, The WaCky wide web: a collection of very large linguistically processed web-crawled corpora, Language Resources and Evaluation, vol.10, issue.4, pp.209-226, 2009.
DOI : 10.1007/978-94-010-0844-0
, Stochastic Lambek Categorial Grammars, Proceedings of FGMOL 2001, 2001.
DOI : 10.1016/S1571-0661(05)82572-1
URL : https://hal.archives-ouvertes.fr/inria-00100527
, Recognising textual entailment with logical inference, Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing , HLT '05, pp.628-635, 2005.
DOI : 10.3115/1220575.1220654
URL : http://acl.ldc.upenn.edu/H/H05/H05-1079.pdf
, La Logique Linéaire Appliquée à l'étude de Divers Processus de Normalisation, 1990.
, The structure of multiplicatives', Archive for Mathematical Logic 28, pp.181-203, 1989.
, Acquisition de liens sémantiques à partir d'éléments de mise en forme des textes : exploitation des structures énumératives, 2016.
, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966
, Proof nets and the complexity of processing center-embedded constructions, Journal of Logic, Language and Information, vol.7, issue.4, pp.443-447, 1998.
, Introduction to the special issue on the web as corpus', Computational Linguistics 29, pp.333-347, 2003.
, The Hungarian method for the assignment problem, Naval Research Logistics Quarterly, vol.3, issue.1-2, pp.83-97, 1955.
DOI : 10.2140/pjm.1953.3.369
URL : http://www.eecs.umich.edu/%7Epettie/matching/Kuhn-hungarian-assignment.pdf
, Soft linear logic and polynomial time, Theoretical Computer Science, vol.318, issue.1-2, pp.163-180, 2004.
DOI : 10.1016/j.tcs.2003.10.018
URL : https://doi.org/10.1016/j.tcs.2003.10.018
, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.
DOI : 10.2307/2310058
, Natural Language Parsing as Statistical Pattern Recognition, 1994.
, Categorial type logicsHandbook of Logic and Language, pp.93-177, 1997.
, Automated extraction of type-logical supertags from the spoken dutch corpusComplexity of Lexical Descriptions and its Relevance to Natural Language Processing: A Supertagging Approach, pp.291-312, 2010.
, Extended Lambek calculi and first-order linear logicCategories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday', number 8222 in 'Lecture Notes in Artificial Intelligence, pp.297-330, 2014.
, A type-logical treebank for French, Journal of Language Modelling, vol.3, issue.1, 2014.
DOI : 10.15398/jlm.v3i1.92
URL : https://doi.org/10.15398/jlm.v3i1.92
, The Grail theorem prover: Type theory for syntax and semanticsModern Perspectives in Type Theoretical Semantics, 2017.
, 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
, Incremental Processing and Acceptability, Computational Linguistics, vol.26, issue.3, 1998.
DOI : 10.1002/malq.19810271306
URL : http://doi.org/10.1162/089120100561728
, Categorial Grammar: Logical Syntax, Semantics, and Processing, 2011.
, Complexity of normalization in the pure typed lambda-calculus, in 'The L. E. J. Brouwer Centenary Symposium, pp.453-457, 1982.