The Rewriting Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2000

The Rewriting Calculus


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-calculus to give an operational semantics to the rewrite based language Elan.
Fichier principal
Vignette du fichier
A00-R-444.pdf (563.63 Ko) Télécharger le fichier

Dates and versions

inria-00099076 , version 1 (26-09-2006)


  • HAL Id : inria-00099076 , version 1


Horatiu Cirstea, Claude Kirchner. The Rewriting Calculus. [Intern report] A00-R-444 || cirstea00f, 2000. ⟨inria-00099076⟩
82 View
103 Download


Gmail Facebook X LinkedIn More