1. Recherche
50 résultats  enregistrer la recherche


  • 1
  • 2
...
hal-00650644v1  Communication dans un congrès
Richard Moot, Christian Retoré. Second order lambda calculus for meaning assembly: on the logical syntax of plurals
Coconat, Dec 2011, Tilburg, Netherlands. 2011
...
hal-00823554v1  Communication dans un congrès
Philippe De Groote, Christian Retoré. On the semantic readings of proof-nets
Geert-Jan Kruijff, Glyn Morrill, and Dick Oehrle. Formal grammar 1996, 1996, Prague, Czech Republic. FoLLI, pp.57--70, 1996
...
inria-00074244v1  Rapport
Christian Retoré. A note on intersection types
RR-2431, INRIA. 1994
...
inria-00074245v1  Rapport
Christian Retoré. On the relation between coherence semantics and multiplicative proof nets
RR-2430, INRIA. 1994
...
inria-00074243v1  Rapport
Christian Retoré. A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences
RR-2432, INRIA. 1994
hal-00416232v1  Communication dans un congrès
Christian Retoré. On the trees underlying natural language sentences
Colloquium in honor of Gérard Huet, Jun 2007, Paris, France
...
hal-00750750v1  Communication dans un congrès
Anaïs Lefeuvre, Richard Moot, Christian Retoré. Traitement automatique d'un corpus de récits de voyages pyrénéens : Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types
3e Congrès Mondial de Linguistique Française, Jul 2012, Lyon, France. pp. 2485-2497, 2012
inria-00100530v1  Direction d'ouvrage, Proceedings
Philippe De Groote, Glyn Morrill, Christian Retoré. Logical Aspects of Computational Linguistics
Springer, 310 p, 2001, Lecture Notres in Artificial Intelligence
...
hal-00941206v1  Pré-publication, Document de travail
Maxime Amblard, Christian Retoré. Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic
2007
...
hal-01079258v1  Poster
Maxime Amblard, Greg Kobele, Christian Retoré. Linguistique computationnelle : entre sciences cognitives et traitement automatique des langues
ARCo, Mar 2006, Bordeaux, France. 2006
inria-00607880v1  Direction d'ouvrage, Proceedings
Sylvain Pogodalla, Myriam Quatrini, Christian Retoré. Logic and Grammar. Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Sylvain Pogodalla and Myriam Quatrini and Christian Retoré. 6700, Springer, pp.159, 2011, Lecture Notes in Computer Science, 978-3-642-21489-9. <10.1007/978-3-642-21490-5>
...
hal-01079278v1  Communication dans un congrès
Maxime Amblard, Alain Lecomte, Christian Retoré. Syntax and Semantics interacting in a Minimalist theory
Prospect and advance in the syntax/semantic interface, Jan 2004, Nancy, France
...
hal-01071642v1  Article dans une revue
Maxime Amblard, Christian Retoré. Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2014, 1 (1), pp.53-94. <http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf>
hal-01403271v1  Direction d'ouvrage, Proceedings
Maxime Amblard, Philippe De Groote, Sylvain Pogodalla, Christian Retoré. Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
Maxime Amblard; Philippe de Groote; Sylvain Pogodalla; Christian Retoré. LACL: Logical Aspects of Computational Linguistics, Dec 2016, Nancy, France. 10054, Springer Berlin Heidelberg, 2016, Lecture Notes in Computer Science, <10.1007/978-3-662-53826-5>
hal-00306392v1  Article dans une revue
Christian Retoré. Les mathématiques de la linguistique computationnelle. Premier volet: la théorie des langages
Gazette des Mathématiciens, Société Mathématique de France, 2008, pp.35--62
hal-00306394v1  Article dans une revue
Christian Retoré. Note de lecture sur Two-Step Approaches to Natural Language Formalisms de Frank Morawietz
Traitement Automatique des Langues, ATALA, 2009, 48 (3), pp.227--229
hal-00306391v1  Article dans une revue
Christian Retoré. Les mathématiques de la linguistique computationnelle. Second volet: Logique
Gazette des Mathématiciens, Société Mathématique de France, 2008, pp.29--63
hal-00306393v1  Communication dans un congrès
Christian Retoré, Sylvain Salvati. Non-Associative Categorial Grammars and Abstract Categorial Grammars
New Directions in Type Theoretic Grammars, Aug 2007, Ireland. R. Muskens, pp.51--58, 2007
hal-00354049v1  Chapitre d'ouvrage
Christian Retoré. Syntaxe et traitement automatique des langues
F. Lambert et H. Nolke. La syntaxe au cœur de la grammaire, mélanges offerts à Claude Muller, Presses Universitaires de Rennes, pp.271--286, 2005, Rivages linguistiques
hal-00306226v1  Communication dans un congrès
Gregory Kobele, Christian Retoré, Sylvain Salvati. An Automata-Theoretic Approach to Minimalism
Model Theoretic Syntax at 10, Aug 2007, Ireland. J. Rogers and S. Kepser, pp.73--82, 2007
inria-00098442v1  Communication dans un congrès
François Lamarche, Christian Retoré. Proof Nets for the Lambek Calculus - an overview
Third Roma Workshop: Proofs in Linguistic Categories, 1998, Roma, Italy, Universita di Bologna, pp.241-262, 1998, Rapporto di Ricerca del Dipartimento de Filosifia
inria-00098440v1  Communication dans un congrès
Alain Lecomte, Christian Retoré. Words as modules: a lexicalised grammar in the framework of linear logic proof nets.
Carlos Martin-Vide. Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II), 1998, Tarragone, John Benjamins, 45, pp.129-144, 1998
...
inria-00072881v1  Rapport
Christian Retoré, Edward Stabler. Resource Logics and Minimalist Grammars
[Research Report] RR-3780, INRIA. 1999
...
inria-00073020v1  Rapport
Christian Retoré. Handsome Proof-nets: R&B-Graphs, Perfect Matchings and Series-parallel Graphs
[Research Report] RR-3652, INRIA. 1999
...
inria-00072299v1  Rapport
Christian Retoré. Petri Nets Step Transitions and Proofs in Partially Commutative Linear Logic
[Research Report] RR-4288, INRIA. 2001
...
inria-00072736v1  Rapport
Christian Retoré. Systèmes déductifs et traitement des langues : un panorama des grammaires catégorielles
[Rapport de recherche] RR-3917, INRIA. 2000
hal-00278791v1  Article dans une revue
Richard Moot, Christian Retoré. Les indices pronominaux du français dans les grammaires catégorielles
Lingvisticae Investigationes, John Benjamins Publishing Company, 2006, 27 (1), pp.137-146
...
inria-00072953v1  Rapport
Christian Retoré. Pomset Logic as a Calculus of Directed Cographs
[Research Report] RR-3714, INRIA. 1999
...
hal-00749374v1  Communication dans un congrès
Anaïs Lefeuvre, Richard Moot, Christian Retoré, Noémie-Fleur Sandillon-Rezer. Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle
ATALA/AFCP. JEP-TALN-RECITAL 2012, Jun 2012, Grenoble, France. 2 TALN, pp. 43-56, 2012
...
inria-00637326v2  Communication dans un congrès
Christian Retoré. Specimens: "most of" generic NPs in a contextually flexible type theory
Genius III, Dec 2011, Paris, France. 2011
  • 1
  • 2

Contact


archive-ouverte@inria.fr