On the system F as a glue language for natural-language compositional-semantics

Christian Retoré 1, 2, *
* Corresponding author
1 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
Université Sciences et Technologies - Bordeaux 1, Inria Bordeaux - Sud-Ouest, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), CNRS - Centre National de la Recherche Scientifique : UMR5800
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 to construct logical formulae expressing the meaning of sentences --- while other authors prefer to use Per Martin-Löf's type theory In this note we explain the motivations supporting our preference for system F.
Liste complète des métadonnées

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00616704
Contributor : Christian Retoré <>
Submitted on : Wednesday, August 24, 2011 - 3:28:39 AM
Last modification on : Thursday, November 8, 2018 - 11:48:02 AM
Document(s) archivé(s) le : Friday, November 25, 2011 - 12:10:46 PM

Files

systemeF.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00616704, version 1
  • ARXIV : 1108.5084

Citation

Christian Retoré. On the system F as a glue language for natural-language compositional-semantics. 2011. ⟨inria-00616704⟩

Share

Metrics

Record views

387

Files downloads

201