Rho calculus

From HandWiki
Revision as of 14:37, 24 October 2022 by Jport (talk | contribs) (add)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

  1. ↑ 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. 




Retrieved from "https://handwiki.org/wiki/index.php?title=Rho_calculus&oldid=2240694"