Rho calculus

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

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


<templatestyles src="Asbox/styles.css"></templatestyles>

Stub icon

This formal methods-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "https://infogalactic.com/w/index.php?title=Rho_calculus&oldid=1772988"