135
Voted
RTA
15 years 6 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...
84
Voted
RTA
15 years 6 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...
77
Voted
RTA
15 years 6 months ago
2001 Springer  76
Voted
RTA
15 years 6 months ago
2001 Springer  |
Theoretical Computer Science