Pfenning, F. and Davies, R. 2001. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science 11, 4, 511--540. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Contextual Model Type Theory - Nanevski, Pfenning, Pientka (2005) Self-citation (Pfenning) (Correct)
No context found.
Pfenning, F. and Davies, R. 2001. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science 11, 4, 511--540.
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (124 citations) Self-citation (Pfenning Davies) (Correct)
No context found.
Pfenning, F. and Davies, R. 2000. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science. To appear.
Type-Directed Concurrency - Deepak Garg And Self-citation (Pfenning) (Correct)
No context found.
F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Math. Struc. in Comp. Sci., 11(4):511--540, 2001.
Staged Computation with Names and Necessity - Nanevski, Pfenning (2005) Self-citation (Frank) (Correct)
No context found.
Pfenning, Frank, & Davies, Rowan. (2001). A judgmental reconstruction of modal logic. Mathematical structures in computer science, 11(4), 511--540.
JFP 15 (2): 249--291, 2005. c - Cambridge University Press (2005) Self-citation (Pfenning) (Correct)
No context found.
Pfenning, F. and Davies, R. (2001) A judgmental reconstruction of modal logic. Mathematical Struct. in Comput. Sci. 11(4), 511--540.
CLL: A Concurrent Language Built from Logical Principles - Garg (2005) (Correct)
No context found.
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical. Structures in Comp. Sci., 11(4):511--540, 2001.
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