Rho calculus
Encyclopedia
|
| Tutorials | Encyclopedia | Dictionary | Directory |
|
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
Source: Wikipedia | The above article is available under the GNU FDL. | Edit this article
|
|
top
©2008-2009 TutorGig.com. All Rights Reserved. Privacy Statement