Galois connections in categorial type logic, Electronic Notes in Theoretical Computer Science, vol.53, pp.3-20, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00000315
Empires and Kingdoms in MLL, Advances in Linear Logic, pp.249-270, 1995. ,
Continuation semantics for the Lambek-Grishin calculus, Information and Computation, vol.208, pp.397-416, 2010. ,
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus, Annals of pure and applied logic 164, vol.11, pp.1079-1100, 2013. ,
La Logique Linéaire Appliquéeà l'étude de Divers Processus de Normalisation (Principalement du ?-Calcul), 1990. ,
, The Structure of Multiplicatives". In: Archive for Mathematical Logic, vol.28, pp.181-203, 1989.
A Brief Survey of Frames for the Lambek Calculus, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik, vol.38, pp.179-187, 1992. ,
Quantifiers in Linear Logic II, Nuovi problemi della logica e della filosofia della scienza, 1990. ,
, The Blind Spot: Lectures on Logic, 2011.
Tree-adjoining Grammars, Handbook of Formal Languages 3: Beyond Words. Ed. by Grzegorz Rosenberg and Arto Salomaa, pp.69-123, 1997. ,
Parsing Beyond Context-Free Grammars. Cognitive Technologies, 2010. ,
Gapping as Like-Category Coordination, Logical Aspects of Computational Linguistics, vol.7351, pp.135-150, 2012. ,
Structural Control, Specifying Syntactic Structures, pp.75-113, 1997. ,
, The Mathematics of Sentence Structure, vol.65, pp.154-170, 1958.
, Categorial and Categorical Grammars, Categorial Grammars and Natural Language Structures, vol.32, pp.297-317, 1988.
Deciding Provability of Linear Logic Formulas, Advances in Linear Logic, pp.109-122, 1995. ,
Proof Search in First-order Linear Logic and Other Cut-free Sequent Calculi, Proceedings of Logic in Computer Science (LICS'94), pp.282-291, 1994. ,
The Proper Treatment of Quantification in Ordinary English". In: Formal Philosophy. Selected Papers of Richard Montague, 1974. ,
Multimodal Linguistic Inference, Journal of Logic, Language and Information, vol.5, pp.349-385, 1996. ,
Extended Lambek calculi and first-order linear logic, Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday, vol.8222, pp.297-330, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00826416
Linguistic Applications of First Order Multiplicative Linear Logic, Journal of Logic, Language and Information, vol.10, pp.211-232, 2001. ,
The Displacement Calculus, Journal of Logic, Language and Information, vol.20, pp.1-48, 2011. ,
Term-Labeled Categorial Type Systems, Linguistics & Philosophy, vol.17, pp.633-678, 1994. ,
, Multi-modal type-logical grammar". In: Non-transformational Syntax: Formal and Explicit Models of Grammar, pp.225-267, 2011.
, On-Line Encyclopedia of Integer Sequences (OEIS), OEIS Foundation, 1964.
On Multiple Context-free Grammars, Theoretical Computer Science, vol.88, pp.191-229, 1991. ,
Investigations into Categorial Grammar: Symmetric Pregroup Grammar and Displacement Calculus, 2011. ,