On the system F as a glue language for natural-language compositional-semantics
Langue
en
Document de travail - Pré-publication
Résumé
Afin de modéliser dans un cadre compositionnel des phénomènes de pragmatique lexicale et plus particulièrement ceux étudiés par Nicholas Asher dans notre équipe a utilisé dans divers travaux le système F de Jean-Yves Girard ...Lire la suite >
Résumé en anglais
In order to model in compositional framework some phenomena of lexical pragmatics and in particular the ones studied by Nicholas Asher several contributions developed in our team did use the system F of Jean-Yves Girard ...Lire la suite >
Mots clés en anglais
logic
type theory
natural language semantics