Rho calculus (Q7320814)
Jump to navigation
Jump to search
introduced as a general means to uniformly integrate rewriting and lambda calculus
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rho calculus |
introduced as a general means to uniformly integrate rewriting and lambda calculus |