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.
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/inria-00536524
Contributor : Joachim Niehren <>
Submitted on : Thursday, November 18, 2010 - 4:44:10 PM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM
Long-term archiving on : Saturday, February 19, 2011 - 2:43:53 AM

File

clls-cu.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00536524, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

270

Files downloads

323