Describing Lambda Terms in Context Unification [chapter]

Joachim Niehren, Mateu Villaret
2005 Lecture Notes in Computer Science  
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.
doi:10.1007/11422532_15 fatcat:dd5pbitrc5bobj45itzobdw63y