[cap-talk] Abstractions that subsume capabilities

[Sandro Magi]

Jed Donnelley wrote:
> On 3/6/2008 10:32 AM, Raoul Duke wrote:
>> Moi aussi. Are there abstractions which subsume capabilities?
>>     
>
> Interesting question.  I would say that there are, though I don't
> know of any that are popular enough to have a common terminology
> to refer to.  I'll leave that thought for others to dispute.
>   

Interesting coincidence: I had just kicked off a debate on LTU that 
referential transparency subsumes capability security [1]. I'm curious 
what people here think as well.

Sandro

[1] http://lambda-the-ultimate.org/node/2706#comment-40510