Second order lambda calculus for meaning assembly: on the logical syntax of plurals
MOOT, Richard
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
RETORÉ, Christian
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
MOOT, Richard
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
RETORÉ, Christian
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
< Réduire
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Langue
en
Communication dans un congrès
Ce document a été publié dans
Coconat, 2011-12, Tilburg. 2011-12
Résumé en anglais
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.
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.< Réduire
Origine
Importé de halUnités de recherche