Rho calculus

One important thread in computer science is the study of extensions of the lambda calculus. The lambda calculus is a model of computation that uses rewrite rules based on a simple notion of a function. The rho calculus extends the lambda calculus to allow more general rewrite rules based on pattern matching. For a survey, see the paper Matching Power or the web site The Rho-Calculus Home Page.

Via Lambda the Ultimate.