The Constraint Language for Lambda Structures - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Logic, Language and Information Année : 2001

The Constraint Language for Lambda Structures

Résumé

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.
Fichier principal
Vignette du fichier
clls2000.pdf (320.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00536795 , version 1 (16-11-2010)

Identifiants

  • HAL Id : inria-00536795 , version 1

Citer

Markus Egg, Alexander Koller, Joachim Niehren. The Constraint Language for Lambda Structures. Journal of Logic, Language and Information, 2001, 10, pp.457-485. ⟨inria-00536795⟩
34 Consultations
225 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More