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]
< Reduce
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Language
en
Communication dans un congrès
This item was published in
Coconat, 2011-12, Tilburg. 2011-12
English 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.
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.Read less <
Origin
Hal imported