Rewriting Calculus with(out) Types

  title={Rewriting Calculus with(out) Types},
  author={Horatiu Cirstea and Claude Kirchner and Luigi Liquori},
  journal={Electr. Notes Theor. Comput. Sci.},
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting systems, and lambda calculi. In the Rewriting Calculus (or Rho Calculus, ρCal), algebraic rules are considered as sophisticated forms of “lambda terms with patterns”, and rule applications as lambda applications with pattern matching facilities. The calculus can be customized to work modulo sophisticated theories, like… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS
20 Citations
38 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 20 extracted citations


Publications referenced by this paper.
Showing 1-10 of 38 references

Calcul de Réécriture : Fondements et Applications

  • H. Cirstea
  • Thèse de Doctorat d’Université, Université Henri…
  • 2000
Highly Influential
7 Excerpts

An Introduction to the Rewriting Calculus

  • H. Cirstea, C. Kirchner
  • Research Report RR-3818, INRIA,
  • 1999
Highly Influential
7 Excerpts


  • H. Cirstea, C. Kirchner
  • Its Syntax and Basic Properties. In Proc. of…
  • 1998
Highly Influential
7 Excerpts

Lambda Calculus: its Syntax and Semantics

  • H. Barendregt
  • North Holland,
  • 1984
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…