Describing Lambda Terms in Context Unification

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.
Type de document :
Communication dans un congrès
Philippe Blache, Edward P. Stabler, Joan Busquets and Richard Moot. 5th International Conference on Logical Aspects in Computational Linguistics, 2005, Bordeaux, France. Springer, 3492, pp.221-237, 2005, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00536524
Contributeur : Joachim Niehren <>
Soumis le : jeudi 18 novembre 2010 - 16:44:10
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : samedi 19 février 2011 - 02:43:53

Fichier

clls-cu.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00536524, version 1

Collections

Citation

Joachim Niehren, Mateu Villaret. Describing Lambda Terms in Context Unification. Philippe Blache, Edward P. Stabler, Joan Busquets and Richard Moot. 5th International Conference on Logical Aspects in Computational Linguistics, 2005, Bordeaux, France. Springer, 3492, pp.221-237, 2005, Lecture Notes in Computer Science. 〈inria-00536524〉

Partager

Métriques

Consultations de la notice

179

Téléchargements de fichiers

139