closure

Invariant measures and orbit closures on homogeneous spaces for actions of subgroups generated by unipotent elements.

Since the calculus of deductive closures is infeasible, the partisans of ' 'syntax-dependent' ' belief revision consider knowledge spaces made up of a limited number of sentences.

Other closures may originate from applications of primitive functions to type-incompatible arguments or from applications which have terms other than functions in function positions.

He used contexts - evaluators defined over a universal domain representing closures (delayed evaluations) - and relied on performing complex series of simplifications to the contexts.

We distinguish cases according to the structure of u, with several subcases for closures and compositions.

No stationary or zero characteristic exists for the fn (n odd) truncation, revealing that the even and odd closures are fundamentally different.

When we use notions like units, divisional closures, and so on, we refer to the multiplicative monoid (when nothing else is stated).

Operationally, these are closures occurring within twelve months of the exit of the founder-entrepreneur.

Succession-related closures are highest in individual-owned firms, 57 % of which closed.

In this study, succession accounted for more closures than any other factor.

Explicit substitutions appear in terms in the form of closures which have a direct realization in the abstract machine.

The l e t r e c builds a pair of closures, each of which points to the other.

The actual pair could very well be a pair of delay closures, and in that case the result will be further evaluated.

When garbage collection is initiated, all live closures are copied from one semi-space to (one end of) the other.

The type system also makes clear the relationship between heap allocation and stack allocation of continuation closures, capturing both allocation strategies in a single calculus.