@TechReport{ Murphy04symmetrictr,
author = {Murphy, VII, Tom and Karl Crary and Robert Harper and
Frank Pfenning},
title = {A Symmetric Modal Lambda Calculus for Distributed Computing},
institution = {Carnegie Mellon University},
year = {2004},
number = {CMU-CS-04-105},
month = {Mar},
url = "http://www.cs.cmu.edu/~tom7/papers/",
urlps = "http://www.cs.cmu.edu/~tom7/papers/symmetric-tr.ps.gz",
urlpdf = "http://www.cs.cmu.edu/~tom7/papers/symmetric-tr.pdf",
urlabstract = "http://www.cs.cmu.edu/~tom7/papers/symmetric-abstract.html",
keywords = "distributed computing, lambda calculus, modal logic,
curry-howard isomorphism, lambda 5, type theory, programming
languages"
}