, Graph Theory, vol.244, 2008.
Some decision problems in the theory of syntactic categories, Mathematical Logic Quarterly, vol.28, pp.539-548, 1982. ,
La logique linéaire appliquéeà l'étude de divers processus de normalisation, 1990. ,
On the semantic readings of proof nets, Formal Grammar, pp.57-70, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-00823554
Combining algebraic rewriting, extensional lambda calculi, and fixpoints, Theoretical Computer Science, vol.169, pp.201-220, 1996. ,
Parsing with polymorphism, Proceedings of the Sixth Conference of the European Association of Computational Linguistics, pp.120-129, 1993. ,
An undecidability result for polymorphic Lambek calculus, Proceedings of the 10th Amsterdam Colloquium, 1995. ,
Linear logic, Theoretical Computer Science, vol.50, pp.1-102, 1987. ,
URL : https://hal.archives-ouvertes.fr/inria-00075966
The complexity of multiplicativeadditive lambek calculus: 25 years later, Logic, Language, Information, and Computation -26th International Workshop, vol.11541, pp.356-372, 2019. ,
Combinatory reduction systems: introduction and survey, Theoretical Computer Science, vol.121, pp.279-308, 1993. ,
(in)flexibility of constituency in japanese in multi-modal categorial grammar with structured phonology, 2010. ,
Gapping as like-category coordination, Logical Aspects of Computational Linguistics, vol.7351, pp.135-150, 2012. ,
Coordination in hybrid type-logical grammar, Ohio State University Working Papers in Linguistics, vol.60, 2013. ,
Determiner gapping as higher-order discontinuous constituency, Formal Grammar, vol.8036, pp.225-241, 2013. ,
Against ellipsis: arguments fr the direct licensing of noncanonical coordinations, Linguistics and Philosophy, vol.38, 2015. ,
Type-Logical Syntax, 2020. ,
The mathematics of sentence structure, American Mathematical Monthly, vol.65, pp.154-170, 1958. ,
Decision problems for propositional linear logic, Annals of pure and Applied Logic, vol.56, issue.1-3, pp.239-311, 1992. ,
, The dynamics of sense and implicature, 2013.
Distinguishing phenogrammar from tectogrammar simplifies the analysis of interrogatives, 2010. ,
Serbo-croatian word order: A logical approach, 2012. ,
Categorial Investigations: Logical and Linguistic Aspects of The Lambek Calculus, Foris, 1988. ,
Categorial type logics, Handbook of Logic and Language, pp.93-177, 1997. ,
Proof nets for the Lambek-Grishin calculus, Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse, pp.283-320, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00759895
Proof nets for linguistic analysis, 2002. ,
Hybrid type-logical grammars, first-order linear logic and the descriptive inadequacy of lambda grammars, LaBRI (CNRS), 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00996724
Proof nets for the multimodal Lambek calculus, Studia Logica, vol.71, issue.3, pp.415-442, 2002. ,
Proof-theoretic aspects of hybrid type-logical grammars, Proceedings of Formal Grammar, vol.11668, pp.84-100, 2019. ,
URL : https://hal.archives-ouvertes.fr/lirmm-02268104
Geometry of lexico-syntactic interaction, Proceedings of the Ninth Conference of the European Chapter of the Association for Computational Linguistics, pp.61-70, 1999. ,
Categorial grammar and lexical-functional grammar, Proceedings of the LFG01 Conference, pp.259-279, 2001. ,
On theories with a combinatorial definition of "equivalence, Annals of mathematics, vol.43, issue.2, pp.223-243, 1942. ,
A PSPACE-complete fragment of second order linear logic. Theoretical, Computer Science, vol.222, issue.1-2, pp.267-289, 1999. ,
URL : https://hal.archives-ouvertes.fr/inria-00098816
Agnostic hyperintensional semantics, Synthese, vol.192, 2013. ,
Correlational comparison in english, 2010. ,
The phenogrammar of coordination, Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), pp.28-36, 2014. ,
The complexity and generative capacity of lexicalized abstract categorial grammars, Proceedings of Logical Aspects of Computational Linguistics, vol.3492, pp.330-346, 2005. ,