0 a hard cover in which paper documents or magazines are stored: --
1 a bookbinder --
2 a machine used on farms to fasten crops into sheaves (= bundles) after they have been cut: --
3 a substance added to a mixture to make all the parts stick together: --
You can use egg as a binder.
4 a strip of material wrapped tightly around part of the body to firmly press or hold it in place, for example after surgery (= a medical operation): --
Compression devices such as abdominal binders and compression stockings may help.
5 a stiff cover that can hold loose papers, often having a part that fastens them: --
a three-ring binder
Figure 1 shows the hierarchy of features related to variables and binders.
Table 3 presents the functions used to compute the free names of a process, as well as its depth of binders.
In order to supply sufficiently many fresh names, one has therefore to compute the maximal number of binders along the paths in the process tree.
First, we have to pay attention that the free variables of one module are not captured by the binders of the other (side condition).
The notions of free and bound variables of g -graphs take into account the three binders of the calculus: abstraction, recursion and match.
Categorical models of languages with binders and local names have been around for a while.
Marks are simply string constants, not binders subject to alpha equivalence, as they themselves need to be dynamically rebound.
We next give a restriction on variable binders.
