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
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 SizeFormat 
clls-cu.pdf182,79 kBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.