Rho calculus
From Wikipedia, the free encyclopedia
The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting.
Interaction
- This page was last modified 17:46, 18 March 2006 by Wikipedia user Oleg Alexandrov. Based on work by Wikipedia user(s) Bluebot and Waltpohl and Anonymous user(s) of Wikipedia.
- All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity. - About Wikipedia
- Disclaimers