On Lambda Binding, Parallelism Constraints, and Context Unification

Autor: Joachim Niehren and Mateu Villaret

Herausgeber:

Lambda binding and parallelism constraints are the main ingredients of the constraint language for lambda structures. Parallelism constraints alone are known to have the same expressive power as the language of context unification. Lambda binding constraints however were never investigated in that framework. We show that lambda binding plus parallelism constraints can be expressed in context unification with tree regular constraints.