Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/inria-00536795
Contributor : Joachim Niehren <>
Submitted on : Tuesday, November 16, 2010 - 11:08:51 PM
Last modification on : Tuesday, October 31, 2017 - 2:22:18 PM
Long-term archiving on: : Thursday, February 17, 2011 - 3:12:33 AM

File

clls2000.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

126

Files downloads

293