Exempel på erasing

• Since t is closed, it cannot be a variable, an erasing construct or a copying construct.

• This step is essentially like the process of erasing a type quantifier.

• Adding and erasing marked points is another natural, more mysterious operation.

• This example is simple, but in the general case channel erasing can occur anywhere in a term.

• In this paper we will, besides the usual ^-conversion, consider two kinds of simplification: erasing and non-erasing simplification.

• A correctness graph of a proof structure is a subgraph of that is obtained by erasing one premise for each -link.

• Erasing rules are the same except that there is no -rule.

• The inertia and erasing effects may interact in interesting ways.

• Users may register with a number of pseudonyms, essentially erasing the effects of prior feedback.

• As mentioned above, family-polymorphic methods are translated to monomorphic methods by discarding type parameterization and erasing types and the method body.

• With the addition of the explicit constructs for erasing and copying substitutions, all variables occur exactly once in a term.

• The following are useful properties of the erasing mapping.

• A correctness graph of a context is a subgraph obtained by erasing one premise for each -link.

• We model these by a term rewriting system e where a rule may be erasing.

• In too many instances, statistics are bandied about, effectively erasing the suffering of real people.