Renato Iannella wrote:
>
> Simon say:
>
> > Following this logic, "identifier" is completely redundant as a qualifier
> > (the value of (Agent) is *always* an identifier ...),
>
> No. The value of the Agent is not "an identifier" but
> "...identifies the Agent". These are different things.
I don't really see why. Perhaps it is just that I include some
informal notations in the class of things that act quite successfully
as "an identifier". Is there some subtle CS wrinkle I'm missing?
--
Best Simon
|