On Lambda Binding, Parallelism Constraints, and Context Unification
Author: Joachim Niehren and Mateu Villaret
Editor:
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.
|