Second order lambda calculus for meaning assembly: on the logical syntax of plurals
| hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
| hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
| dc.contributor.author | MOOT, Richard | |
| hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
| hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
| dc.contributor.author | RETORÉ, Christian | |
| dc.date.accessioned | 2024-04-15T09:46:23Z | |
| dc.date.available | 2024-04-15T09:46:23Z | |
| dc.date.issued | 2011-12 | |
| dc.date.conference | 2011-12 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198001 | |
| dc.description.abstractEn | 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. | |
| dc.language.iso | en | |
| dc.title.en | Second order lambda calculus for meaning assembly: on the logical syntax of plurals | |
| dc.type | Communication dans un congrès | |
| dc.subject.hal | Informatique [cs]/Informatique et langage [cs.CL] | |
| bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.conference.title | Coconat | |
| bordeaux.country | NL | |
| bordeaux.conference.city | Tilburg | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | hal-00650644 | |
| hal.version | 1 | |
| hal.invited | non | |
| hal.proceedings | non | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-00650644v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.date=2011-12&rft.au=MOOT,%20Richard&RETOR%C3%89,%20Christian&rft.genre=unknown |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||