Traitement Automatique des Langues
volume 37 numéro 2 pp. 1--38, 1996
Postscript of the paper.
-
Proofnets and Dependencies, COLING, Nantes, 1992 Postscript of the paper
-
Towards Efficient Parsing with Proofnets, EACL, Utrecht, 1993
-
Non-Commutative Linear Logic and Linguistic Applications, Proceedings of
Linear Logic, Lambek calculus and linguistic applications, DYANA Occasional
Publications, Rome, 1993
-
A Linear-Logical Approach of some Syntactical and Semantical Phenomena
in Romance Languages, Proceedings of SEPLN, Cordoba, 1994 Postscript of the paper.
- Une descendance des systèmes de Lesniewski: le calcul de Lambek, de la grammaire logique aux grammaires de logique des types, in Stanislas Lesniewski aujourd'hui, sous la direction de Denis Miéville et Denis Vernant, Recherches sur la Philosophie et le Langage, numero 16, 1995
-
Deducing Meaning in Linear Logic, Workshop on Thematic Roles and
Argument Structure, Barcelone, 1995, Postscript of the paper.
- Prosodie et calcul,Traitement Automatique des Langues volume 38 numéro 1 pp. 135--153, 1997 Postscript of the paper.
-
Logical Aspects of Computational Linguistics (LACL97): Preface.
-
Partial Proof-Nets, Hybrid Logics and Minimalist Representations, in (J.
Rogers ed.) Proceedings of MOL6, Orlando, Florida, july 1999, Postscript.
-
Rebuilding MP on a Logical Ground, in Research on Language and Computation, vol 2, n°1, Kluwer, 2004, pp
27-55 Postscript
-
Partial Proof-Nets, Hybrid Logics and Minimalist Representations, in Grammars
vol.3, numéro 2-3, Kluwer, 2001, pp243-257,
-
Categorial Minimalism, in Logical Aspects of Computational
Linguistics (M. Moortgat, ed), LNAI 2014, Springer, 2001, pp 143-158,
-
Semantic Representations in Logic for Minimalism, in Proceedings of
the first Workshop on Logic, Language and Information, Instituto de Logica,
Lenguaje e Informacion, University of Sevilla, 29-30 nov. et 1 décembre 2000,
pp 155-162,
-
Logic for Dialogue, to appear in 2003 in a volume edited by J. Caelen, D.
Vernant, D. Vanderveken, PDF,
Kluwer.
-
A Computational Approach to Minimalism, Proceedings of ICON-2003, International Conference on Natural Language,
published by the Central Institute of Indian Languages, PDF, Mysore,
Inde, december 2003, pp 20-31,
-
Derivations as Proofs : a Logical Approach to Minimalism, Proceedings
of CG’04, Montpellier, juin 2004, version PDF
-
Categorial Grammar for Minimalism, Language
and Grammar: Studies in Mathematical Linguistics and Natural Language, Casadio,
Scott, Seely eds. CSLI Lecture Notes number 168, pp 163-188, PDF, Stanford, USA, 2005
- L'intégration de la prosodie dans une syntaxe catégorielle, in Actes des Journées TALN 95, Marseille, 1995,
-
Semantic features in a generic lexicon, in Computational Lexical
Semantics (P. St Dizier and M. Viegas, eds) Cambridge University Press,
1994
-
Pomset logic as an alternative categorial grammar. Formal Grammar 95,
Barcelona, August 95. Abstract (html) Postscript of the full paper.
-
Words as Modules: a Lexicalised Grammar in the framework of Linear Logic
Proof Nets. in (C. Martin-Vide ed.) Mathematical and Computational Analysis
of Natural Language, John Benjamins, 1998 Postscript of the chapter.
- Réseaux syntaxiques et logiques de ressources, TALN 97, Grenoble, 1997 Postscript
-
Towards a Minimal Logic for Minimalism, Formal Grammar 99,
Utrecht, 1999 Postscript
-
Extending Lambek grammars: a logical account of minimalist grammars, Proceedings
of the 39th meeting of the Association for Computational Linguistics,ACL
2001, Toulouse, juillet 2001,pp 354-361 Postscript présentation
PowerPoint
(présentation mise à jour en mars 2002, version Dublin)
-
Bi-grammars, a logical system for syntax, semantics and their
correspondence, Formal Grammar 2002, Trento, 2002, version PDF
-
Logical Aspects of Computational Linguistics:
an introduction LACL'97, LNCS, LNAI numero 1328, Springer Verlag ed.
- Un modèle de raisonnement avec propositions implicites, in Actes des Journées Nationales sur les Modèles de Raisonnement, JNMR’03, Institut Henri Poincaré, Paris, novembre 2003, pp 201-217, Postscript
-
On expressing vague quantification and scalar implicatures in the logic
of partial information, Proceedings of LACL’05 (Blache, Bousquets,
Moot, Stabler eds.) LNAI 3294, Springer, 2005, version PDF