[cap-talk] Wikipedia: Object-capability model - reference vs. capability?

[Charles Landau]

At 12:01 AM -0800 2/2/07, Dean Tribble wrote:
>  > My firm opinion is that the operation to produce the number key with
>>  7, always produces the same key, DK(7) in Keykos jargon.
>
>And do you have a term for the kinds of keys that are entirely defined
>(comparable) by their data and those that are distinguished by their
>identity?  That is the "selfless" distinction.  I've found that a very
>useful distinction, not just for languages, but also for understanding
>KeyKOS et al.

By "distinguished by their identity", do you mean keys that can be 
distinguished by EQ but not by any other means? I don't think there 
are any such keys in KeyKOS.

Since you've used that distinction in KeyKOS, can you give examples?