Second order lambda calculus for meaning assembly: on the logical syntax of plurals

Richard Moot 1, 2 Christian Retoré 1, 2
2 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
Université Michel de Montaigne - Bordeaux 3, 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
Abstract : We propose the use of the second order lambda calculus as a "glue language" for meaning assembly and illustrate its use by giving a logical treatment of some (basic) fact about plurals, distributivity and collectivity.
Type de document :
Communication dans un congrès
Coconat, Dec 2011, Tilburg, Netherlands. 2011
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00650644
Contributeur : <>
Soumis le : dimanche 11 décembre 2011 - 21:49:38
Dernière modification le : vendredi 11 septembre 2015 - 01:07:04
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 15:11:22

Fichier

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

Identifiants

  • HAL Id : hal-00650644, version 1
  • Mot de passe :

Collections

Citation

Richard Moot, Christian Retoré. Second order lambda calculus for meaning assembly: on the logical syntax of plurals. Coconat, Dec 2011, Tilburg, Netherlands. 2011. 〈hal-00650644〉

Partager

Métriques

Consultations de la notice

210

Téléchargements de fichiers

176