Tom Murphy VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. In IEEE Symposium on Logic in Computer Science, pages 286--297, Turku, Finland, July 2004. 18 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) Self-citation (Crary Harper Pfenning) (Correct)
No context found.
Tom Murphy VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. In IEEE Symposium on Logic in Computer Science, pages 286--297, Turku, Finland, July 2004. 18
Distributed Control Flow - With Classical Modal Self-citation (Murphy Karl) (Correct)
No context found.
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. In Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004). IEEE Press, July 2004.
Contextual Model Type Theory - Nanevski, Pfenning, Pientka (2005) Self-citation (Pfenning) (Correct)
No context found.
Murphy VII, T., Crary, K., Harper, R., and Pfenning, F. 2004. A symmetric modal lambda calculus for distributed computing. In Symposium on Logic in Computer Science, LICS'04, H. Ganzinger, Ed. Turku, Finland, 286--295.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) Self-citation (Crary Harper Pfenning) (Correct)
No context found.
Tom Murphy VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. In IEEE Symposium on Logic in Computer Science, pages 286--297, Turku, Finland, July 2004.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) Self-citation (Murphy Karl Frank) (Correct)
No context found.
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. Technical Report CMU-CS-04-105, Carnegie Mellon University, Mar 2004.
Distributed Control Flow - With Classical Modal (2005) Self-citation (Murphy Karl) (Correct)
No context found.
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. In Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004). IEEE Press, July 2004.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) Self-citation (Murphy Karl Frank) (Correct)
No context found.
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. Technical Report CMU-CS-04-105, Carnegie Mellon University, Mar 2004.
Mechanizing Language Definitions - Harper, Licata (2006) Self-citation (Harper) (Correct)
No context found.
Murphy VII, Tom, Crary, Karl, Harper, Robert, & Pfenning, Frank. (2004). A symmetric modal lambda calculus for distributed computing. IEEE Symposium on Logic in Computer Science.
Functional Grid Programming with ConCert - VII (2004) Self-citation (Murphy) (Correct)
No context found.
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. Technical Report CMU-CS-04-105, Carnegie Mellon University, Mar 2004.
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) Self-citation (Murphy Karl) (Correct)
No context found.
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. In Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) Self-citation (Murphy Karl Frank) (Correct)
No context found.
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. Technical Report CMU-CS-04-105, Carnegie Mellon University, Mar 2004.
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) Self-citation (Murphy Karl) (Correct)
No context found.
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. In Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) Self-citation (Murphy Karl Frank) (Correct)
No context found.
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. Technical Report CMU-CS-04-105, Carnegie Mellon University, Mar 2004.
A Modal Language for the Safety of Mobile Values - Park (2005) (Correct)
No context found.
T. Murphy, VII, K. Crary, R. Harper, and F. Pfenning. A symmetric modal lambda calculus for distributed computing. In Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004.
A Distributed Kripke Semantics - Chadha, al. (2004) (1 citation) (Correct)
No context found.
K. Crary T. Murphy, R. Harper, and F. Pfenning. A symmetric modal lambda calculus for distributed computing. In LICS'04, 2004. To appear.
A Hybrid Intuitionistic Logic: Semantics and Decidability - Chadha, Macedonio, Sassone (2005) (Correct)
No context found.
K. Crary T. Murphy, R. Harper, and F. Pfenning. A symmetric modal lambda calculus for distributed computing. In LICS'04, 2004. To appear.
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