|
Abstract : |
The -calculus permits to express in a uniform and simple way rstorder rewriting, -calculus and non-deterministic computations as well as their combination. In this paper, we present the main components of the -calculus and we give a full rst-order presentation of this rewriting calculus using an explicit substitution setting, called , that generalizes the -calculus. The basic properties of the non-explicit and explicit substitution versions are presented. We then detail how to use the -calculus to give an operational semantics to the rewrite rules of the ELAN language. 1, |
