A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
A symmetric modal lambda calculus for distributed computing

2004
*
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
*

We present a foundational language for distributed programming, called Lambda 5, that addresses both mobility of code and locality of resources. In order to construct our system, we appeal to the powerful propositions-as-types interpretation of logic. Specifically, we take the possible worlds of the intuitionistic modal logic IS5 to be nodes on a network, and the connectives P and Q to reflect mobility and locality, respectively. We formulate a novel system of natural deduction for IS5,

doi:10.1109/lics.2004.1319623
dblp:conf/lics/VIICHP04
fatcat:viye6kymrne6zc5wzqexqgwx5e