Rewriting Calculus

Program-Transformation.Org: The Program Transformation Wiki
The Rewriting Calculus provides a combination of functional programming and term rewriting.