Rho calculus
From EverybodyWiki Bios & Wiki
There are two different calculi that use the name rho-calculus:
- The first is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting.
- The second is a reflective higher-order variant[1] of the asynchronous polyadic pi calculus.
References[edit]
- ↑ Meredith, L. G.; Radestock, Mattias (22 December 2005). "A Reflective Higher-Order Calculus". Electronic Notes in Theoretical Computer Science. 141 (5): 49–67. doi:10.1016/j.entcs.2005.05.016.
 | This formal methods-related article is a stub. You can help EverybodyWiki by expanding it. |
This article "Rho calculus" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Rho calculus. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
