Rho calculus

Rho calculus

Encyclopedia

Tutorials

Dictionary

Directory

Email this to a friend 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

Related Links in Rho calculus

Search for Rho calculus in Tutorials

Search for Rho calculus in Encyclopedia

Search for Rho calculus in Dictionary

Search for Rho calculus in Open Directory

Search for Rho calculus in Store

Search for Rho calculus in PriceGig

Help build the largest human-edited directory on the web.

Advertisement

Rho calculus
Rho_calculus