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
Lambda calculus (also written as ''λ''-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation ...
with the pattern matching of
term rewriting.
* The second is a reflective higher-order variant
of the asynchronous polyadic
pi calculus.
References
Lambda calculus
{{formalmethods-stub