A
general paper on proof theory and natural language syntax
Traitement Automatique des
Langues
volume 37 numéro 2 pp. 1--38, 1996
Grammaire et théorie de la preuve: une introduction
PDF
Books edited by A. Lecomte
Word Order in Categorial Grammar/L'ordre des
mots dans les grammaires catégorielles, Actes du colloque DYANA,
ed. ADOSA, Clermont-Ferrand,
1992
Logical
Aspects of Computational Linguistics, proceedings of the Second
International Conference, LACL97, Nancy,
France, September 1997(with F. Lamarche
and G. Perrier), LNCS-LNAI 1582, Springer-Verlag ed., 1999
Ludics,
Dialogue and Interaction, Proceedings of the PRELUDE project, with
S. Tronçon, LNCS-LNAI-Folli n° 6505, Springer verlag,
2010
Available
papers by A. Lecomte
- Proofnets
and Dependencies, COLING, Nantes,
1992 PDF
- 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 PDF
- 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, PDF
- Prosodie
et calcul,Traitement Automatique des Langues volume 38 numéro
1 pp. 135--153, 1997 PDF
- 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,
PDF.
- Rebuilding MP on
a Logical Ground, in Research
on Language and Computation, vol 2, n°1, Kluwer, 2004, pp 27-55
PDF
- 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
- Conversion en logique et dans quelques
domaines appliqués. Mots, gènes et programmes: communication
aux journées sur le mot "conversion", 7 et 8 juillet
2005, Grenoble, publié dans (J. Baillé ed.) "Du
mot au concept: Conversion", Presses Universitaires de Grenoble,
2007, pp 113 - 139, PDF
- Semantics in Minimalist-Categorial Grammars,
in Proceedings of FG 2008 : The 13th conference on Formal Grammar,
P. de Groote, L. Kallemeyer, G. Penn & G. Satta eds, Hamburg,
Aout 2008 (22 pages), PDF
- La "grammaire pure": une grammaire
des normes, in La logique et les normes, Hommage à J.
L. Gardies, (sous la direction de Jean-Marie Lardic) Recherches
sur la philosophie et le langage, Université Pierre Mendès-France,
Grenoble, 2008, pp 111 - 137, PDF
- A propos de la mathématisation du
langage: linguistique, informatique théorique et biologie,
in Hugues Chabot et Sophie Roux (eds) La mathématisation
comme problème, éditions des archives contemporaines,
Paris, 2011, pp 159-209, PDF
with G. Caelen-Haumon
- L'intégration
de la prosodie dans une syntaxe catégorielle, in Actes des Journées
TALN 95, Marseille, 1995,
with G. G. Bes
- Semantic features in
a generic lexicon, in Computational Lexical Semantics (P.
St Dizier and M. Viegas, eds) Cambridge University Press, 1994
with C. Retoré
- Pomset logic as an alternative
categorial grammar. Formal Grammar 95, Barcelona, August 95. Abstract (html) PDF 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 PDF of the chapter.
- Réseaux
syntaxiques et logiques de ressources, TALN 97, Grenoble,
1997 PDF
- Towards a Minimal Logic
for Minimalism, Formal Grammar 99, Utrecht, 1999 PDF
- 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
PDF 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
with Patrick Blackburn, Marc Dymetman, Aarne Ranta,
Christian Retoré, and Eric Villemonte de la Clergerie
- Logical Aspects of Computational Linguistics:
an introduction
LACL'97, LNCS, LNAI numero 1328, Springer Verlag ed.
with A. Nait-Abdallah
- 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, PDF
- 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
with Houda Anoun
- Logical Grammars with
Emptyness, Proceedings of
the 11th conference Formal Grammar’06, edited by Paola
Monachesi, Gerald Penn, Georgio Satta and Shuly Wintner, published
by CSLI Publications and FoLLI, Malaga, august 2006, pp.
15-29, version PDF
-Linear
Grammars with Labels, version remaniée du précédent, à paraître
en 2007 à CSLI Publications.
-Towards
a Logical Account of Binding Theory, 7th Tbilisi Symposium on Logic,
Language and Computation, version
PDF
with Myriam Quatrini
and Marie-Renée Fleury
- Ludics and Anti-realism, to appear in Logics
and Antirealism, a volume of the Logic, Epistemology and unity
of Science series (Springer) edited by Shahid Rahman and John
Symons, PDF
with Pierre Pica
- Theoretical Implications of the Study of
Numbers and Numerals in Mundurucu, in Philosophical Psychology,
vol. 21, N°4, August 2008, pp. 507-522, PDF
with Myriam Quatrini
- Ludics and its Applications
to Natural Language Semantics, in Logic, Language, Information
and Computation, edited by H. Ono, M. Kanazawa and R. de Queiroz,
Proceedings of the 16th International Workshop WoLLIC, Tokyo,
2009, Springer - Folli n° LNAI 5514 PDF
- Pour une étude du langage via l'interaction:
dialogue et sémantique en ludique, in Mathématiques
et Sciences Humaines, volume 189, Paris, 2010 PDF
- Dialogue and Interaction: the Ludics view, in
Proceedings of the workshop on Theories of Information Dynamics
and Interaction and their Applications to Dialogue, ESSLLI 2010,
Copenhague PDF
- Ludics and Rhetorics, in Ludics, Dialogue
and Interaction, Proceedings of PRELUDE, edited by A. Lecomte
and S. Tronçon, Springer-Folli, n° LNAI 6505, pp 32--59,
2011 PDF
- Figures of dialogue: a view from ludics, in
Synthese, n°183, 59-85, (Knowledge, Rationality and Action
279-305), 2011, PDF
with
C. Retoré and
Maxime Amblard
- Categorial
Minimalist Grammar: from generative syntax to logical form, in Linguistic
Analysis, Festschrift for Joachim Lambek, volume 36, number
1-4, edited by Johan van Benthem and Michael Moortgat, 2010
-
|
