$\rho$-Calculus. Its Syntax and Basic Properties - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1998

$\rho$-Calculus. Its Syntax and Basic Properties


\roCal\ 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 rewriting & $\lambda$-calculus. Finally we use \roCal\ to give an operational semantics to the rewrite based language \elan.
Fichier principal
Vignette du fichier
98-R-218.pdf (228.69 Ko) Télécharger le fichier

Dates and versions

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


  • HAL Id : inria-00098735 , version 1


Horatiu Cirstea, Claude Kirchner. $\rho$-Calculus. Its Syntax and Basic Properties. [Intern report] 98-R-218 || cirstea98a, 1998, 16 p. ⟨inria-00098735⟩
183 View
117 Download


Gmail Facebook X LinkedIn More