Eingang zum Volltext in SciDok
Hinweis zum Urheberrecht
Aufsatz zugänglich unter
The constraint language for lambda structures
URN: urn:nbn:de:bsz:291-scidok-2932
URL: http://scidok.sulb.uni-saarland.de/volltexte/2004/293/
Quelle:
(2001) Journal of Logic, Language, and Information Vol 10 (4), 2001, pp.457-485
pdf-Format:
Dokument 1.pdf (320 KB)
SWD-Schlagwörter:
Lambda-Kalkül ; Constraint-logische Programmierung
Freie Schlagwörter (Englisch):
Constraint language for Kambda Structures ; CLLS
Institut:
DDC-Sachgruppe:
Informatik
Dokumentart:
Aufsatz
Sprache:
Englisch
Erstellungsjahr:
2001
Publikationsdatum:
12.07.2004
Kurzfassung auf Englisch:
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.