2007 | OriginalPaper | Buchkapitel
The Rewriting Calculus as a Combinatory Reduction System
verfasst von : Clara Bertolissi, Claude Kirchner
Erschienen in: Foundations of Software Science and Computational Structures
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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
λ
-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
λ
-calculus algebraic features.
In a previous work, the authors showed how the semantics of CRS can be expressed in terms of the
ρ
-calculus. 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.