On the system F as a glue language for natural-language compositional-semantics

Christian Retoré 1, 2, *
* Auteur correspondant
1 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
Université Sciences et Technologies - Bordeaux 1, Inria Bordeaux - Sud-Ouest, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), CNRS - Centre National de la Recherche Scientifique : UMR5800
Résumé : Afin de modéliser dans un cadre compositionnel des phénomènes de pragmatique lexicale et plus particulièrement ceux étudiés par Nicholas Asher dans notre équipe a utilisé dans divers travaux le système F de Jean-Yves Girard pour construire les formules logiques représentant le sens des énoncés --- là où d'autres auteurs utilisent plutôt la théorie des types de Per Martin-Löf. Nous expliquons dans cette note les raisons de notre préférence.
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00616704
Contributeur : Christian Retoré <>
Soumis le : mercredi 24 août 2011 - 03:28:39
Dernière modification le : jeudi 8 novembre 2018 - 11:48:02
Document(s) archivé(s) le : vendredi 25 novembre 2011 - 12:10:46

Fichiers

systemeF.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00616704, version 1
  • ARXIV : 1108.5084

Citation

Christian Retoré. On the system F as a glue language for natural-language compositional-semantics. 2011. 〈inria-00616704〉

Partager

Métriques

Consultations de la notice

381

Téléchargements de fichiers

195