The Constraint Language for Lambda Structures

Markus Egg, Alexander Koller, and Joachim Niehren

Journal of Logic, Language, and Information, 10(4):457-485, 2001.

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.

Download: Download

BibTeX Entry
@article{clls,
	Author = {Markus Egg and Alexander Koller and Joachim Niehren},
	Journal = {Journal of Logic, Language, and Information},
	Volume = 10,
	Number = 4,
	Pages = {457--485},
	Title = {The Constraint Language for Lambda Structures},
	Year = 2001
}

Back: Publications