Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25762
Titel: Describing lambda terms in context unification
Verfasser: Niehren, Joachim
Villaret, Mateu
Sprache: Englisch
Erscheinungsjahr: 2003
Quelle: 4th International Workshop on Inference in Computational Semantics(ICoS-4), Nancy, France, 25-26 Sept.2003
SWD-Schlagwörter: Lambda Terms
DDC-Sachgruppe: 004 Informatik
Dokumentart : InProceedings (Aufsatz / Paper einer Konferenz etc.)
Kurzfassung: 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 zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-2771
hdl:20.500.11880/25818
http://dx.doi.org/10.22028/D291-25762
SciDok-Publikation: 15-Jun-2004
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
clls-cu.pdf182,79 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.