Rho calculus

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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[edit]