Jeudi 4 Mars, 2010 7:33
- A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars (avec Sylvain Salvati) Journal of Logic, Language and Information 19(2) pp. 185—200 2010 Preliminary version
- Towards a Type-Theoretical Account of Lexical Semantics (avec Christian Bassac et Bruno Mery) Journal of Logic, Language and Information. 19(2) pp. 229—245 2010 Preliminary version
- Les mathématiques de la linguistique computationnelle. Second volet: Logique. La Gazette des mathématiciens (Société Mathématique de France). Volume 116 avril 2008 pp. 29-63. (inclut, en section 10, le rectificatif au premier volet ci-dessous)
- Notes de lecture sur: Two-Step Approaches to Natural Language Formalisms, de Frank MORAWIETZ, (Editions Mouton de Gruyter, 2003, ISBN 978-3-11-017821-0.) Traitement Automatique des Langues vol. 48 n° 3 pages 227-229
- Les mathématiques de la linguistique computationnelle. Premier volet: la théorie des langages. La Gazette des mathématiciens (Société Mathématique de France). Volume 115 janvier 2008 pp. 35 - 62. Avec mes excuses: rectificatif sur l'exemple de transducteur réalisant l'accord de tout adverbe exprimant le degré complet.
- A Montagovian generative lexicon (with Ch. Bassac and B. Mery) in Formal Grammar 2007, CSLI.
- An Automata-Theoretic Approach to Minimalism (with G. Kobele and S. Salvati) In J. Rogers and S. Kepser (ed) Model Theoretic Syntax at 10
- A Montague based model for generative lexical semantics (with Ch. Bassac and Bruno Mery) In R. Muskens (ed) New Directions inType Theoretic Grammars. pages 90--97
- Non-Associative Categorial Grammars and Abstract Categorial Grammars (with S. Salvati) In R. Muskens (ed) New Directions inType Theoretic Grammars. pages 51--58
- Natural Deduction and Normalisation For Partially Commutative Linear Logic and Lambek Calculus with product (with M. Amblard) Computation and Logic in the Real World (Computing in Europe 2007) In S. B. Cooper and T. F. Kent and B. Löwe and A. Sorbi (eds) Quaderni del Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari" ID487 pages 28--44.
- La linguistique computationnelle entre sciences cognitives et traitement automatique des langues. (avec M. Amblard et Greg Kobele). Poster à ARCo'06.
- Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes (avec D. Bechet, R. Bonato, A. Dikovsky, A. Foret, Y. Le Nir, E. Moreau, I. Tellier), Recherches Linguistiques de Vincennes. volume 36, pages 123--152. Octobre 2007.
- The logic of categorial grammars - Lecture Notes - Rapport de Recherche INRIA 5703
(ESSLLI 2000 & 2003 / ACL 2001 / Master Université Bordeaux 1 2002 onwards)
- A propos de l'ordre OSV en LSF(avec Olivier de Langhe, Pierre Guitteny et Henri Portine) SILEXICALES volume 4, 2004, CNRS.
- Les indices pronominaux du français dans les grammaires catégorielles. (avec Richard Moot) Linguisticae Investigationes. To appear.
- A description of the non-sequential execution of Petri nets in partially commutative linear logic. In Jan van Eijck, Vinvent van Oostrom, Albert Visser (eds) Logic Colloquium '99, Association for Symbolic Logic & A.K. Peters, 2004. pp 152-181. (complete version INRIA RR 4288 2001)
- Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits (with Sylvain Pogodalla) INRIA RR-5409 Work presented at Categorial grammars 2004, LIRMM, Montpellier, juin 2004.
- L'ordre des mots dans les grammaires catégorielles (with Richard Moot) In Kim Gerdes et Claude Muller (Ed.) Pré-Actes des Journées de la syntaxe: l'ordre des mots dans la phrase française, positions et topologie, pages 56-59, ERSS, Bordeaux, Novembre 2004.
- Syntaxe et Traitement Automatique des Langues. 2005 in F. Lambert et H. Nolke (éds) La syntaxe au cœur de la grammaire, mélanges offerts à Claude Muller, pages 271-286. Version préliminaire. INRIA RR-5459.
- L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégorielles (avec Maxime Amblard et Alain Lecomte) Journées Scientifiques Sémantique et Modélisation GDR 25-21,CNRS, ENS Lyon, Avril 2004.
- A
propos de l'ordre OSV en LSF(avec Olivier de Langhe, Pierre Guitteny et
Henri Portine)
Colloque linguistique de la LSF: recherches actuelles, Lille, 22-23
septembre 2003
- Syntax and Semantics interacting in a minimalist theory, (avec Maxime Amblard et Alain Lecomte) in : Prospects and Advances in the Syntax/Semantics Interface,
D. Duchier, editor, p. 17-22, Nancy, 2003.
- Semantic
aspects of minimalist grammars
(extended abstract)
Invited lecture at the joint
workshop Algebraic Methods
in Language Processing 3 and 21st Twente Workshop in Language Technology August 25th-27th 2003
- Vers un
traitement informatique de la syntaxe et de la sémantique de la
langue des signes. (avec Olivier de langhe, Pierre
Guitteny et Henri Portine)
TALN 2003, workshop sur les Langues
minoritaires.
- Sémantique
dans les
grammaires minimalistes.(avec Alain Lecomte)
Journées Scientifiques Sémantique et Modélisation
GDR 25-21,CNRS, Paris, mars 2003.
- Handsome proof nets: perfect
matchings and cographs.
Theoretical Computer Science. 294(3),
2003, pages 473–488 [Version complète:
RR-3652.]
- Generative grammars in
resource logics.(with Edward Stabler) Research on Language
and
Computation, vol 2(1), 2003, pages 3–25, to appear. Version préliminaire: RR-3780
- Bi-grammars for the syntax/semantics interface (avec Alain Lecomte), Formal grammar FG2002, Foundation of Logic Language and Information, 2002, 77--90
- Habilitation à Diriger des Recherches: Logique linéaire et syntaxe des
langues soutenue le 4 janvier 2002 (Président: A. Dikovsky ,
Rapporteurs: G. Huet, J. Lambek, M. Moortgat, Examinateurs: C. Gardent,
G. Kahn, J.-X. Rampon, O. Ridoux)Version
d'avril 2002 PDF - A4 paper ou PDF - letter paper Slides from
the defense for viewing or for printing(thanks to Michael Moortgat for providing the pdflatex package)
- Resource
logics and minimalist grammars (edited by C. Retoré & Edward Stabler) Special issue of Research on Language and
Computation , (selected papers from a workshop held at
ESSLLI 99) with an introduction by the editors, Generative grammars
in resource logics (preliminary version here).
- Learning rigid Lambek
grammars and minimalist grammars from structured sentences
(with Roberto Bonato)
3rd Workshop
on Learning Language in Logic, Strasbourg, septembre 2001.
- Extending
Lambek grammars: a logical account of minimalist grammars (with A. Lecomte)
Proceedings of the 39th meeting of the Association for
Computational Linguistics, Toulouse, July 2001, pp. 354--361.
- Systèmes
déductifs et traitement des langues:un panorama des grammaires
catégorielles
Numéro spécial de Traitement automatique du
langage naturel, volume 20 numéro 3 de Technique et Science
Informatique (TSI) sous la direction de B. Levrat et D. Kayser, 20(3), 2000, pp.
301--336. Preliminary
version: INRIA Research Report RR-3917 2000
- A
representation of Petri-net concurrent execution in partially
commutative linear logic To appear in the proceedings of the Logic Colloquium 99 (ASL & A. K Peters Ltd) Part of this work was presented at the Logic Colloquium 99,
Utrecht.
Complete version
- A logical formulation of
the minimalist program (with A.
Lecomte) to appear in the proceedings of the
Third Tbilisi
Symposium on Language, Logic and Computation.
- Towards a Minimal Logic for Minimalist
Grammars: a tranformational use of Lambek calculus (with A.
Lecomte)
In Geert-Jan Kruijff (ed) Formal
Grammar, FG`99, Utrecht, pp 83-92.
- Gammar and
logic: natural language analysis generation and learning Forthcoming, proceedings edited by C. Retoré and Alexandre
Dikovsky, edizione Bulzoni, Roma (selected papers from a
workshop held in Rennes, May 2000)
- Resource logics
and minimalist grammars (with Edward Stabler) Survey with a comprehensive bibliography.
A revised version will serve as an introduction to the special issue on Resource logics and minimalist
grammars of the Journal of Language and Computation edited
by C. Retoré et E. Stabler (selected papers from a workshop at
ESSLLI 99)
- Recent
Advances in Logical and Algebraic Approaches to Grammar (C. Retore,
guest editor) Special issue of the Journal
of Logic, Language and Information, issue 7(4), December 98. Introduction to this
issue.
- Pomset logic
as a calculus of directed cographs In V.~M.~Abrusci and C.~Casadio (Eds) Dynamic Perspectives in Logic and Linguistics: Proof Theoretical
Dimensions of Communication Processes,Proceedings of the 4th Roma
Workshop , Edizione Bulzoni, Roma, 1999 ISBN 8319-443-8. pp
221 -- 247 Preliminary
version: INRIA Research Report RR-3714 1999
- Handsome
Proof-Nets: Perfect Matchings and Cographs To appear in Theoretical Computer Science
Complete
version: INRIA Research Report RR-3652 1999
- Logical
Aspects of Computational Linguistics, LACL`96, selected papers.(
Christian Retoré, editor )LNCS/LNAI 1328, Springer, 1997. Introduction to the
volume (pp. 1--20): Logical Aspects of Computational Linguistics: an introduction.
( with Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Eric Villemonte de la Clergerie )
- A complete
axiomatisation for the inclusion of series-parallel partial orders ( with Denis Bechet,and Philippe de Groote)
In RTA'97 (Stiges), LNCS 1232 pp. 230--240.
- Logique de ressources et
réseaux syntaxiques (with Alain Lecomte)
In D. Genthial editor, TALN'97, pp 70--83, Pôle Langage naturel,
Grenoble.Words as Modules: a
lexicalised grammar in the frame work of linear logic proof nets
(with Alain
Lecomte) in Carlos Martin-Vide, editor, Mathematical and Computational
Analysis of natural Language (selected papers of ICML`96), volume 45 of
Studies in Functional and Structural Linguistics, John Benjamins, 1998,
pages 129--144.
- Pomset logic: a
non-commutative extension of classical linear logic In TLCA'97, LNCS vol. 1210, pp 300--318.
- Calcul de Lambek et
Logique Linéaire, Traitement Automatique des Langues, volume 37
numéro 2 pp. 39-70, 1996 Travail en partie présenté à la journée
"Grammaire et Théorie de la Démonstration" de l'Association pour le Traitement Automatique des Langues
organisée par Alain Lecomte
- A semantic
characterisation of the correctness of a proof net Mathematical Structures in Computer Science, vol.
7(5):445--452
Special issue on Logic, Domains and Programing Languages. Abtsract Complete
version: On the relation
between coherence semantics and multiplicative proof-nets INRIA Research Report RR-2430
- Proof nets for the
Lambek calculus - an overview ( with François Lamarche ) In V. Michele Abrusci and Claudia Casadio (eds.) proceedings
of the 1996 Roma Workshop "Proofs and Linguistic Categories - Applications of Logic to the
Analysis and Implementation of Natural Language- Roma, April 10-13,
1996. CLUEB, Bologna, pp. 241--262
- Words as Modules and
Modules as Partial Proof-Nets in a Lexicalized Grammar (with Alain
Lecomte) In V. Michele Abrusci and Claudia Casadio (eds.) proceedings
of the 1996 Roma Workshop "Proofs and Linguistic Categories - Applications of Logic to the
Analysis and Implementation of Natural Language- Roma, April 10-13,
1996. CLUEB, Bologna, pp. 197--199.
- Semantic readings of
proof nets (with Philippe de
Groote) In Geert-Jan Kruijff and Glyn Morrill and Dick Oehrle (eds), Formal
Grammar, pp. 57--70, Prague, August 96. FoLLI.
- Perfect
matching and series parallel graphs: multiplicative proof nets as R&B-graphs In Electronic Notes in Computer Science. vol 3 (Invited lecture at Linear'96, Tokyo)See more complete report/article above, Handsome
proof nets[...]
Pomset logic as an
alternative categorial grammar (with Alain
Lecomte)In G. Morrill and R. Oehrle (eds), Formal Grammar, pp. 181--196,
Barcelone, August 95. FoLLI.
- A note on intersection
types INRIA Research Report 2431
- Une modalité
autoduale pour le connecteur précède In Catégories, Algèbres, Esquisses, et
Néo-esquisses pp 11--16, Caen, Septembre 94. ---
Edité par P. Ageron A self-dual modality for before in the category of coherence
spaces and in the category of hypercoherences.
Complete
version: INRIA Rapport de Recherche 2432
- The mix rule.
( with Arnaud Fleury ) Mathematical Structures in Computer Science 1994,
vol 4(2), pp 273 - 285
Abstract (html) Copyrights...
- Réseaux
et Séquents Ordonnés
Thèse de Doctorat, Spécialité
Mathématiques, Université Paris 7, 1993 available by
<< La Poste >>, send an email
- Présentation des << Quelques remarques sur les principes de la théorie des ensembles >> d'Emile Borel ainsi que de la correspondance entre René Baire, Emile Borel, Jacques Hadamard, Henri Lebesgue sur la théorie des ensembles. Paru dans le volume << Logique et fondements des mathématiques. Anthologie (1850-1914) >> sous la direction de François Rivenc et Philippe de Rouilhan Bibliothèque Scientifique Payot, Editions Payot, 1992.