F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11(4):511--540, 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank Self-citation (Pfenning) (Correct)
No context found.
F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11(4):511--540, 2001.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) Self-citation (Pfenning Logic) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) Self-citation (Pfenning Logic) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
A judgmental analysis of linear logic - Bor-Yuh Evan Chang Self-citation (Pfenning Logic) (Correct)
No context found.
Frank Pfenning and Rowan Davies, A judgmental reconstruction of modal logic, Mathematical Structures in Computer Science 11 (2001), no. 4, 511--540.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey Self-citation (Pfenning) (Correct)
No context found.
F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11(4):511--540, 2001.
Specifying Properties of Concurrent Computations in CLF - Watkins, Cervesato.. (2004) Self-citation (Pfenning) (Correct)
No context found.
Pfenning, F. and R. Davies, A judgmental reconstruction of modal logic, Mathematical Structures in Computer Science 11 (
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey Self-citation (Pfenning Logic) (Correct)
No context found.
F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11(4):511--540, 2001.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Pfenning) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank Self-citation (Pfenning) (Correct)
No context found.
F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11(4):511--540, 2001.
A Judgmental Analysis of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) Self-citation (Pfenning Logic) (Correct)
No context found.
Frank Pfenning and Rowan Davies, A judgmental reconstruction of modal logic, Mathematical Structures in Computer Science 11 (2001), no. 4, 511--540.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) Self-citation (Pfenning Logic) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) Self-citation (Pfenning Logic) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (2005) Self-citation (Pfenning) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
A Judgmental Analysis Of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) Self-citation (Pfenning Logic) (Correct)
No context found.
Frank Pfenning and Rowan Davies, A judgmental reconstruction of modal logic, Mathematical Structures in Computer Science, vol. 11 (2001), no. 4, pp. 511--540.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2005) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (2004) Self-citation (Pfenning) (Correct)
No context found.
F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11(4):511--540, 2001.
A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of Self-citation (Pfenning) (Correct)
No context found.
F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11(4):511--540, 2001.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) Self-citation (Pfenning) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Pfenning) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
Monadic Concurrent Linear Logic Programming - Lopez, Pfenning, Polakow, Watkins (2005) Self-citation (Pfenning Logic) (Correct)
No context found.
F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
Modal Logics with Existential Modality, Finite-iteration.. - Shkatov (2005) (Correct)
No context found.
F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11(4):511--540, 2001.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
No context found.
F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11(4):511--540, 2001.
Adaptive Functional Programming - Umut Acar Guy (2001) (2 citations) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511--540, 2001.
Adaptive Functional Programming - Acar, Blelloch, Harper (2002) (2 citations) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511-540, 2001.
First 50 documents Next 50
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