There are two different calculi that use the name rho-calculus:
* Th
firstis a formalism intended to combine the higher-order facilities of
lambda calculus with the pattern matching of
term rewriting
In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems (also known as rewrite systems, rewrite engines, or red ...
.
* The second is a reflective higher-order variant
of the asynchronous polyadic
pi calculus
The number (; spelled out as "pi") is a mathematical constant that is the ratio of a circle's circumference to its diameter, approximately equal to 3.14159. The number appears in many formulas across mathematics and physics. It is an irrat ...
.
References
Lambda calculus
{{formalmethods-stub