A Typed Calculus of Mobile Computation

  • Andy Gordon

下载 BibTex

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