redirections: a subsort of map . Its individuals
represent collections of associations between indirections and
bindable (or unknown ) individuals.
indirection: a subsort of distinct-datum .
An indirection represents a point of circularity on a particular
agent, but it can be re-produced on another agent (by a closure).
indirect production
d : an abstraction, where d
is redirections. Incorporates the action indirectly produce d . Useful when
d is a redirections yielder. For example, an
evaluation of indirect production current redirections yields
an abstraction which, when enacted, always reflects the redirections
received by the evaluation.
OBS:These data are not implemented by the action interpreter.
|