Describing Lambda Terms in Context Unification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Describing Lambda Terms in Context Unification

Résumé

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.
Fichier principal
Vignette du fichier
clls-cu.pdf (273.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00536524 , version 1 (18-11-2010)

Identifiants

  • HAL Id : inria-00536524 , version 1

Citer

Joachim Niehren, Mateu Villaret. Describing Lambda Terms in Context Unification. 5th International Conference on Logical Aspects in Computational Linguistics, 2005, Bordeaux, France. pp.221-237. ⟨inria-00536524⟩
94 Consultations
198 Téléchargements

Partager

Gmail Facebook X LinkedIn More