A Typed Calculus of Mobile Computation

  • Andy Gordon

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