A ρ-calculus of explicit constraint application
Higher-Order and Symbolic Computation
| Hi-index | 0.00 |
The representation of free variables is crucial for the efficiency of the implementation of various kinds of rewrite systems. We give an innovative, although very natural, representation of variables abstract enough to fit in many different frameworks and more satisfactory from an operational perspective than usual representations. This work also provides a generalization of director strings for the λ-calculus.