- The homepage of Lemuridae, a proof assistant for superdeduction, is now available.
- The wiki about the Rewriting Calculus is now available.
- The Third workshop on the Rho-calculus took place the 23 and 24 October 2006, at King's College, London, UK.
The rho-calculus has been introduced as a general means to uniformly integrate rewriting and lambda calculus. This calculus makes explicit and first-class all of its components: matching (possibly modulo given theories), abstraction, application and substitutions.
The rho-calculus is designed and used for logical and semantical purposes. It could be used with powerful type systems and for expressing the semantics of rule based as well as object oriented paradigms. It allows one to naturally express exceptions and imperative features as well as expressing elaborated rewriting strategies.
Introduced in 1998 by Horatiu Cirstea and Claude Kirchner, the calculus quickly attracted much interests. The purpose of this page is to regroup links to works concerned with the calculus, from papers to implementations and related concepts. Do not hesitate to drop a mail to email@example.com (Remove the spam preserving underscore "_"), your remarks, comments, propositions of additions are very welcome.