5 search results - page 1 / 1 » rta 2001 |
RTA
2001
Springer
13 years 9 months ago
2001
Springer
RTA
2001
Springer
13 years 9 months ago
2001
Springer
RTA
2001
Springer
13 years 9 months ago
2001
Springer
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta r...
RTA
2005
Springer
13 years 10 months ago
2005
Springer
We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back a...
RTA
2001
Springer
13 years 9 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...