%0 Journal Article
%T On the system F as a glue language for natural-language compositional-semantics
%A Christian Retor¨¦
%J Mathematics
%D 2011
%I arXiv
%X 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 to construct logical formulae expressing the meaning of sentences --- while other authors prefer to use Per Martin-L\"of's type theory In this note we explain the motivations supporting our preference for system F.
%U http://arxiv.org/abs/1108.5084v1