, of Studies in Logic and The Foundations of Mathematics, vol.103, 1981.
NL ? as the logic of scope and movement, Journal of Logic, Language and Information, vol.28, issue.2, pp.217-237, 2019. ,
, Continuations and Natural Language, Oxford Studies in Theoretical Linguistics, 2014.
HyTAG: A New Type of Tree Adjoining Grammars for Hybrid Syntactic Representation of Free Word Order Languages, 1994. ,
The derivational generative power of formal systems or scrambling is beyond LCFRS, Technical Report, vol.38, 1992. ,
Chinese numbers, MIX, scrambling and range concatenation grammars, Proceedings of the European Association of Computational Linguistics EACL'99, 1999. ,
URL : https://hal.archives-ouvertes.fr/inria-00073064
Mathematical linguistics and proof theory, vol.12, pp.683-736, 1997. ,
On the semantic readings of proof nets, pp.57-70, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-00823554
Extraction covering extensions of the Lambek calculus are not context free, Proceedings 9th Amsterdam Colloquium, pp.268-286, 1993. ,
Ellipsis and multimodal categorial type logic, pp.107-122, 1995. ,
, Introduction to Automata Theory, Languages and Computation, 1979.
The convergence of mildly contextsensitive grammar formalisms, pp.31-82, 1991. ,
Parsing Beyond Context-Free Grammars, 2010. ,
Gapping as like-category coordination, Logical Aspects of Computational Linguistics, vol.7351, pp.135-150, 2012. ,
Type-Logical Syntax, 2020. ,
Mix is not a tree-adjoining language, Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00959618
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 the multimodal Lambek calculus, Studia Logica, vol.71, issue.3, pp.415-442, 2002. ,
Natural language semantics and computability, Journal of Logic, Language and Information, vol.28, pp.287-307, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01315316
Proof-theoretic aspects of hybrid typelogical grammars, Proceedings of Formal Grammar, vol.11668, pp.84-100, 2019. ,
URL : https://hal.archives-ouvertes.fr/lirmm-02268104
Type Logical Grammar, 1994. ,
Geometry of lexico-syntactic interaction, Proceedings of the Ninth Conference of the European Chapter of the Association for Computational Linguistics, pp.61-70, 1999. ,
The displacement calculus', Journal of Logic, Language and Information, vol.20, issue.1, pp.1-48, 2011. ,
A short proof that o 2 is an MCFL, 2016. ,
Term-labeled categorial type systems, Linguistics & Philosophy, vol.17, issue.6, pp.633-678, 1994. ,
Product-free Lambek calculus and context-free grammars, Journal of Symbolic Logic, vol.62, pp.648-660, 1997. ,
Lambek calculus is NP-complete, Theoretical Computer Science, vol.357, issue.1, pp.186-201, 2006. ,
Formal and Computational Aspects of Natural Language Syntax, 1994. ,
MIX is a 2-MCFL and the word problem in Z2 is captured by the IO and the OI hierarchies, Journal of Computer and System Sciences, vol.81, issue.7, pp.1252-1277, 2015. ,
On multiple contextfree grammars, Theoretical Computer Science, vol.88, pp.191-229, 1991. ,
, Center for the Study of Language and Information, vol.29, 1992.
The relationship between tree adjoining grammars and head grammars, Proceedings of the 24th Meeting of the Association for Computational Linguistics, 1986. ,