Sewell, Peter

Details of Sewell, Peter

Sewell, Peter- University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.