Computing Tom Murphy VII Karl Crary Robert Harper Frank Pfenning March 17,...  Home/Search
Context
Related
| cmu.edu/afs/cs/user/...CMUCS04105.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/afs/cs/user/fp/www/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 # and # to reflect mobility and locality, respectively. We formulate a novel system of natural deduction for IS5,... (Update)
Active bibliography (related documents): More All
0.5: A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (Correct)
0.5: A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (Correct)
0.2: Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ murphy-symmetric,
author = "Computing Tom Murphy",
title = "A Symmetric Modal Lambda Calculus for Distributed",
url = "citeseer.ist.psu.edu/765711.html" }
Citations (may not include all citations):136 System description: Twelf -- a meta-logical framework for de.. - Pfenning, Schurmann - 1999
118 A spatial logic for concurrency - Caires, Cardelli - 2001
118 A spatial logic for concurrency - Caires, Cardelli - 2002
84 Mathematical Structures in Computer Science (context) - Pfenning, Davies et al. - 2001
70 the meanings of the logical constants and the justifications.. (context) - Martin-Lof - 1996
62 Modal logics for mobile ambients (context) - Cardelli, Gordon et al. - 2000
26 Information and Computation (context) - Pfenning, elimination et al. - 2000
24 Modal proofs as distributed programs (context) - Jia, Walker - 2003
23 Modal logic as a basis for distributed computation (context) - Moody - 2003
20 Trustless grid computing in conCert - Chang, Crary et al. - 2002
19 SafeDPi: A language for controlling mobile code - Hennessy, Rathke et al. - 2003
18 A coverage checking algorithm for LF - Schurmann, Pfenning - 2003
18 A constructive logic for services and information flow in co.. (context) - Borghuis, Feijs - 2000
7 The Mcalculus: A higher-order distributed process calculus - Schmitt, Stefani - 2003
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/fp/www/papers/): More
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (Correct)
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory.. - Harper, Pfenning (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC