Introduction to the Rewriting Calculus
Horatiu Cirstea, Claude Kirchner, 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine Institut National de Recherche en Informatique et en Automatique (INRIA) · OpenGrey (Institut de l'Information Scientifique et Technique) · 1999
The $\rho$-calculus is a new calculus that integrates in a uniform and simple setting first-order rewriting, $\lambda$-calculus and non-deterministic computations. This paper describes the calculus from its syntax to its basic properties in the untyped case. We show how it embeds first-order conditional rewriting and $\lambda$-calculus. Finally we use the $\rho$-calcul- us to give an operational semantics to the rewrite based language ELAN.