Please use this identifier to cite or link to this item:
doi:10.22028/D291-25762
Title: | Describing lambda terms in context unification |
Author(s): | Niehren, Joachim Villaret, Mateu |
Language: | English |
Year of Publication: | 2003 |
OPUS Source: | 4th International Workshop on Inference in Computational Semantics(ICoS-4), Nancy, France, 25-26 Sept.2003 |
SWD key words: | Lambda Terms |
DDC notations: | 004 Computer science, internet |
Publikation type: | Conference Paper |
Abstract: | The constraint language for lambda structures (CLLS) is a description language for lambda terms. CLLS provides parallelism constraints to talk about the tree structure of lambda terms, and lambda binding constraints to specify variable binding. Parallelism constraints alone have the same expressiveness as context unification. In this paper, we show that lambda binding constraints can also be expressed in context unification when permitting tree regular constraints. |
Link to this record: | urn:nbn:de:bsz:291-scidok-2771 hdl:20.500.11880/25818 http://dx.doi.org/10.22028/D291-25762 |
Date of registration: | 15-Jun-2004 |
Faculty: | MI - Fakultät für Mathematik und Informatik |
Department: | MI - Informatik |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
clls-cu.pdf | 182,79 kB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.