Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker. A concurrent logical framework: The propositional fragment. In S. Berardi, M. Coppo, and F. Damiani, editors, Types for Proofs and Programs, pages 355--377. Springer-Verlag LNCS 3085, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Avoiding Causal Dependencies via Proof Irrelevance in a.. - Ley-Wild, Pfenning (2006) Self-citation (Pfenning) (Correct)
No context found.
Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker. A concurrent logical framework: The propositional fragment. In S. Berardi, M. Coppo, and F. Damiani, editors, Types for Proofs and Programs, pages 355--377. Springer-Verlag LNCS 3085, 2004.
Specifying Properties of Concurrent Computations in CLF - Watkins, Cervesato.. (2004) Self-citation (Watkins Cervesato Pfenning Walker) (Correct)
No context found.
Watkins, K., I. Cervesato, F. Pfenning and D. Walker, A concurrent logical framework: The propositional fragment, in: Types for Proofs and Programs, Springer-Verlag LNCS,
CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (1 citation) Self-citation (Watkins Cervesato Pfenning Walker) (Correct)
No context found.
Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker. A concurrent logical framework: The propositional fragment. In Types for Proofs and Programs. Springer-Verlag LNCS, 2004. Selected papers from the Third International Workshop Torino, Italy, April 2003. To appear.
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) Self-citation (Pfenning) (Correct)
No context found.
Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker. A concurrent logical framework: The propositional fragment. In Proceedings of TYPES-2003.
Monadic Concurrent Linear Logic Programming - Lopez, Pfenning, Polakow, Watkins (2005) Self-citation (Watkins Pfenning) (Correct)
No context found.
K. Watkins, I. Cervesato, F. Pfenning, and D. Walker. A concurrent logical framework: The propositional fragment. In S. Berardi, M. Coppo, and F. Damiani, editors, Types for Proofs and Programs, pages 355--377. Springer-Verlag LNCS 3085, 2004.
Specifying Properties of Concurrent Computations in CLF - Watkins, Cervesato.. (2004) Self-citation (Watkins Cervesato Pfenning Walker) (Correct)
No context found.
Watkins, K., I. Cervesato, F. Pfenning and D. Walker, A concurrent logical framework: The propositional fragment, in: Types for Proofs and Programs, Springer-Verlag LNCS,
CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (1 citation) Self-citation (Watkins Cervesato Pfenning Walker) (Correct)
No context found.
Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker. A concurrent logical framework: The propositional fragment. In Types for Proofs and Programs. Springer-Verlag LNCS, 2004. Selected papers from the Third International Workshop Torino, Italy, April 2003. To appear.
Mechanizing the Metatheory of Standard ML - Lee, Crary, Harper (2006) (Correct)
No context found.
Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker. A concurrent logical framework: The propositional fragment. In S. Berardi, M. Coppo, and F. Damiani, editors, Types for Proofs and Programs, volume 3085 of Lecture Notes in Computer Science, pages 355--377. Springer-Verlag, 2004.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker. A concurrent logical framework: The propositional fragment. In Proceedings of TYPES 2003.
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