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

Richard Moot; Christian Retoré

Retour

Acte de colloque

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

Richard Moot et Christian Retoré

Coconat

12/2011

Résumé

Computation and Language

Computer Science

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.

Indicateurs

1 Consultations de la notice

Détails

Titre: Second order lambda calculus for meaning assembly: on the logical syntax of plurals
Créateurs - sans rôle: Richard Moot - Laboratoire Bordelais de Recherche en Informatique
Christian Retoré - Laboratoire Bordelais de Recherche en Informatique
Colloque: Coconat
Identifiants: 99139251209311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Langue: English
Type de ressource: Conference proceeding