4 views

1 Answers

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

4 views

Related Questions