0 present participle of erase
1 to remove something, especially a pencil mark by rubbing it:
2 to remove recordings or information from a magnetic tape or disk:
3 to cause a feeling, memory, or period of time to be completely forgotten:
He is determined to erase the memory of a disappointing debut two years ago.
Woods wants a convincing victory to erase doubts about his team's ability to reach the World Cup finals.
One election cannot erase 65 years of a corrupt one-party political process.
The president said NATO expansion would finally erase the boundary line in Europe artificially created by the Cold War.
Years of hard living had blurred but not erased her girlhood beauty.
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.
