Lexical Semantics with Linear Types

Abstract : We have proposed a framework based upon the λ-calculus with higher-order Intuitionist types for the symbolic computation of the semantic analysis, integrating lexical data. This proposal is sufficient for many phenomena and accurately incorporates lexical semantics by the means of type theory, but some issues linger in the linguistic data. In the present paper, we revisit this proposal with a version of the λ-calculus based upon higher-order linear types, that aims to resolve those issues and present an integrated framework for meaning assembly.
Type de document :
Communication dans un congrès
Makoto Kanazawa; Lawrence S. Moss; Valeria de Paiva. NLCS'15. Third Workshop on Natural Language and Computer Science, Jul 2015, Kyoto, Japan. EasyChair, EasyChair Proceedings in Computing NLCS'15. Third Workshop on Natural Language and Computer Science, 32, pp.72, 2015, EasyChair Proceedings in Computing. 〈http://www.easychair.org/publications/volume/NLCS-15〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01214442
Contributeur : Bruno Mery <>
Soumis le : lundi 12 octobre 2015 - 12:14:35
Dernière modification le : jeudi 11 janvier 2018 - 06:20:17
Document(s) archivé(s) le : jeudi 27 avril 2017 - 00:28:53

Fichier

mery-nlcs15-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01214442, version 1

Collections

Citation

Bruno Mery. Lexical Semantics with Linear Types. Makoto Kanazawa; Lawrence S. Moss; Valeria de Paiva. NLCS'15. Third Workshop on Natural Language and Computer Science, Jul 2015, Kyoto, Japan. EasyChair, EasyChair Proceedings in Computing NLCS'15. Third Workshop on Natural Language and Computer Science, 32, pp.72, 2015, EasyChair Proceedings in Computing. 〈http://www.easychair.org/publications/volume/NLCS-15〉. 〈hal-01214442〉

Partager

Métriques

Consultations de la notice

47

Téléchargements de fichiers

44