Fiche du document
24 août 2011
- handle: 10670/1.g0e4ox
- inria-00616704
- ARXIV: 1108.5084
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/arxiv/1108.5084
info:eu-repo/semantics/OpenAccess
Sujets proches
PE ratio Earnings multiple Earnings-price ratio Stocks--Price-earnings ratios Natural science Sciences Science of science Pension plans Employee pension trusts Pension funds AMS Price-earnings ratio Ratio C/B Coefficient de capitalisation des résultats CCR Coefficient de capitalisation des bénéfices RCB PER Multiple décapitalisation des résultats Multiple cours-bénéfice Régimes privés de retraite par capitalisation Plans d'épargne en vue de la retraite Plan d'épargne-retraite Comptes d'épargne-retraite Fonds de pension Régimes de retraite par capitalisation PER Retraite-épargne AMS spectrométrie de masse AMSCiter ce document
Christian Retoré, « On the system F as a glue language for natural-language compositional-semantics », HAL-SHS : linguistique, ID : 10670/1.g0e4ox
Métriques
Partage / Export
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 pour construire les formules logiques représentant le sens des énoncés --- là où d'autres auteurs utilisent plutôt la théorie des types de Per Martin-Löf. Nous expliquons dans cette note les raisons de notre préférence.