Rho calculus

There are two different calculi that use the name rho-calculus:

• The first is a formalism intended to combine the higher-order facilities of
  term rewriting
  .

• The second is a reflective higher-order variant
  pi calculus
  .

References

This formal methods-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e