Rho calculus


There are two different calculi that use the name rho-calculus. The is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting. The second is a reflective higher-order variant of the asynchronous polyadic pi calculus.