Tom Murphy VII, Karl Crary, Robert Harper, and Frank Pfenning. 2004. A symmetric modal lambda calculus for distributed computing. In LICS 2004: Proceedings of the 19th symposium on logic in computer science. Washington, DC: IEEE Computer Society Press.

Discuss this paper by editing this page.