A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Describing Lambda Terms in Context Unification
[chapter]
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