- Home
- Computer
- Computer Science
- Sewell, Peter
Computer · Computer Science
Sewell, Peter
Listed in the directory · updated 21 Jul 2022
About Sewell, Peter
Sewell, Peter- University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.