[cap-talk] Announcing "Analysing Object-Capability Security" Paper and Authodox v. 0.2.0

[Mark Miller]

On Fri, May 30, 2008 at 6:22 PM, David-Sarah Hopwood
<david.hopwood at industrial-designers.co.uk> wrote:
> *Sequential* capability semantics is essentially the semantics of the
> lambda calculus with side effects.

*Sequential* capability semantics is essentially the semantics of the
*applicative order* lambda calculus with side effects.

However, more generally, I stand by the statement as Shap remembers
it. Other control-flow and concurrency arrangements for an ocap system
are like lambda-calculus (with local side effects) interpreted
according to other reduction orders. This is reflected directly in
Actors, Joule, and E.

-- 
Text by me above is hereby placed in the public domain

 Cheers,
 --MarkM