The Rewriting Calculus as a Combinatory Reduction System - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2007

The Rewriting Calculus as a Combinatory Reduction System

Résumé

The last few years have seen the development of the \emph{rewriting calculus} (also called rho-calculus or \RHO) that uniformly integrates first-order term rewriting and $\lambda$-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 \emph{Combinatory Reduction Systems} (\CRS), or by adding to $\lambda$-calculus algebraic features. In a previous work, the authors showed how the semantics of \CRS\ can be expressed in terms of the \RHO. The converse issue is adressed here: rewriting calculus derivations are simulated by Combinatory Reduction Systems derivations. As a consequence of this result, important properties, like standardisation, are deduced for the rewriting calculus.

Mots clés

Dates et versions

inria-00121792 , version 1 (22-12-2006)

Identifiants

Citer

Clara Bertolissi, Claude Kirchner. The Rewriting Calculus as a Combinatory Reduction System. Tenth International Conference on Foundations of Software Science and Computations Structures - FoSSaCS 2007, Mar 2007, Braga, Portugal. pp.78-92, ⟨10.1007/978-3-540-71389-0_7⟩. ⟨inria-00121792⟩
69 Consultations
0 Téléchargements

Altmetric

Partager

More