Sciweavers

Share
LISP
2006

Expressing combinatory reduction systems derivations in the rewriting calculus

10 years 4 months ago
Expressing combinatory reduction systems derivations in the rewriting calculus
The last few years have seen the development of the rewriting calculus (also called rho-calculus or -calculus) that uniformly integrates first-order term rewriting and the -calculus. The combination of these two latter formalisms has been already handled either by enriching first-order rewriting with higher-order capabilities, like in the Combinatory Reduction Systems (crs), or by adding to the -calculus algebraic features. The various higher-order rewriting systems and the rewriting calculus share similar concepts and have similar applications, and thus, it is important to compare these formalisms to better understand their respective strengths and differences. We show in this paper that we can express Combinatory Reduction Systems derivations in terms of rewriting calculus derivations. The approach we present is based on a translation of each possible crs-reduction into a corresponding -reduction. Since for this purpose we need to make precise the matching used when evaluating crs, t...
Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where LISP
Authors Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
Comments (0)
books