Second order lambda calculus for meaning assembly: on the logical syntax of plurals - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

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

Résumé

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.

Domaines

Informatique et langage [cs.CL]
Fichier principal
Vignette du fichier
coconat_moot_retore.pdf (71.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Richard Moot  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00650644

Soumis le : dimanche 11 décembre 2011-21:49:38

Dernière modification le : lundi 5 juin 2023-16:52:12

Archivage à long terme le : vendredi 16 novembre 2012-15:11:22

Télécharger pour visualiser

Dates et versions

hal-00650644 , version 1 (11-12-2011)

Identifiants

  • HAL Id : hal-00650644 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA LABRI INRIA2
160 Consultations
194 Téléchargements

Partager

Gmail Facebook X LinkedIn More