A Typed Calculus of Mobile Computation

Presentation given at Foundations of Mobile Computation, Institute of Mathematical Sciences.