Rho calculus

The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting.

External links

• Site dedicated to research in the rho-calculus

 This formal methods-related article is a stub. You can help Wikipedia by expanding it.