The Constraint Language for Lambda Structures

Abstract : This paper presents the Constraint Language for Lambda Structures (CLLS), a first-order language for semantic underspecification that conservatively extends dominance constraints. It is interpreted over lambda structures, tree-like structures that encode lambda-terms. Based on CLLS, we present an underspecified, uniform analysis of scope, ellipsis, anaphora, and their interactions. CLLS solves a variable capturing problem that is omnipresent in scope underspecification and can be processed efficiently.
Type de document :
Article dans une revue
Journal of Logic, Language and Information, Springer Verlag, 2001, 10, pp.457-485
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00536795
Contributeur : Joachim Niehren <>
Soumis le : mardi 16 novembre 2010 - 23:08:51
Dernière modification le : mardi 31 octobre 2017 - 14:22:18
Document(s) archivé(s) le : jeudi 17 février 2011 - 03:12:33

Fichier

clls2000.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00536795, version 1

Citation

Markus Egg, Alexander Koller, Joachim Niehren. The Constraint Language for Lambda Structures. Journal of Logic, Language and Information, Springer Verlag, 2001, 10, pp.457-485. 〈inria-00536795〉

Partager

Métriques

Consultations de la notice

100

Téléchargements de fichiers

208