On the system F as a glue language for natural-language compositional-semantics
Language
en
Document de travail - Pré-publication
Abstract
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 ...Read more >
English Abstract
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 ...Read more >
English Keywords
logic
type theory
natural language semantics