Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker  Home/Search
Context Related
| stanford.edu/~iliano/pa...types03.ps.gz 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: stanford.edu/~iliano/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present the propositional fragment CLF0 of the Concurrent Logical Framework (CLF). CLF extends the Linear Logical Framework to allow the natural representation of concurrent computations in an object language. The underlying type theory uses monadic types to segregate values from computations. This separation leads to a tractable notion of de nitional equality that identi es computations di ering only in the order of execution of independent steps. From a logical point of view our... (Update)
Cited by: More
Avoiding Causal Dependencies via Proof Irrelevance in a.. - Ley-Wild, Pfenning (2006) (Correct)
Specifying Properties of Concurrent Computations in CLF - Watkins, Cervesato.. (2004) (Correct)
Mechanizing the Metatheory of Standard ML - Lee, Crary, Harper (2006) (Correct)
Similar documents (at the sentence level): More
20.4%: A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (Correct)
13.6%: A Concurrent Logical Framework: the - Propositional Fragment Kevin (Correct)
6.8%: A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (Correct)
Active bibliography (related documents): More All
0.5: A Concurrent Logical Framework II: Examples and.. - Cervesato, Pfenning.. (2003) (Correct)
0.3: Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2003) (Correct)
0.2: Monadic Concurrent Linear Logic Programming - Lopez, Pfenning, Polakow, Watkins (2005) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
7: A concurrent logical framework I: Judgments and properties - Watkins, Cervesato et al. - 2002
6: A linear logical framework - Cervesato, Pfenning - 1996
6: A concurrent logical framework II: Examples and applications - Cervesato, Pfenning et al. - 2002
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/article/watkins03concurrent.html More
@misc{ watkins04concurrent,
author = "K. Watkins and I. Cervesato and F. Pfenning and D. Walker",
title = "A concurrent logical framework: The propositional fragment",
text = "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.",
year = "2004",
url = "citeseer.ist.psu.edu/article/watkins03concurrent.html" }
Citations (may not include all citations):369 Information and Computation (context) - Moggi, computation - 1991 DBLP
291 Computational lambda calculus and monads - Moggi - 1989
178 Communicating and Mobile Systems: the -Calculus (context) - Milner - 1999
90 A linear logical framework - Cervesato, Pfenning - 2002 ACM DBLP
77 Dual intuitionistic linear logic (context) - Barber - 1996
69 calculus as a theory in linear logic: Preliminary results (context) - Miller - 1992
63 Concurrent Programming in ML (context) - Reppy - 1999 ACM
57 Logic programming with focusing proofs in linear logic (context) - Andreoli - 1992 DBLP
51 A relevant analysis of natural deduction - Ishtiaq, Pym - 1998 DBLP
47 Logical frameworks - Pfenning - 2001 ACM DBLP
38 From Petri nets to linear logic through categories: A survey (context) - Mart, Meseguer - 1991
36 Dipartimento di Informatica (context) - Cervesato, Logical et al. - 1996
35 From Petri nets to linear logic (context) - Mart, Meseguer - 1991
33 Theoretical Computer Science (context) - Honsell, Miculan et al. - 2001 ACM
33 A preliminary version appeared in the Proceedings of the Six.. (context) - Hodas, Miller et al. - 1991
32 The practice of logical frameworks - Pfenning - 1996 ACM DBLP
32 Petri nets and linear logic: a case study for logic programm.. - Cervesato - 1995
31 Zero-safe nets: Comparing the collective and individual toke.. - Bruni, Montanari - 2000 DBLP
31 Theoretical Computer Science (context) - Bellin, Scott et al. - 1994 ACM
30 Typed MSR: Syntax and examples - Cervesato - 2052 DBLP
27 A framework for de ning logics (context) - Harper, Honsell et al. - 1993
26 Information and Computation (context) - Pfenning, elimination et al. - 2000 DBLP
26 Notes to an invited talk at the Workshop on Intuitionistic M.. (context) - Pfenning, Davies et al. - 1999
24 A concurrent logical framework I: Judgments and properties - Watkins, Cervesato et al. - 2002
22 and proof irrelevance in modal type theory (context) - Pfenning, extensionality - 2001
21 Encoding dependent types in an intuitionistic logic - Felty - 1991
19 proofs as computations (context) - Asperti, Ferrari et al. - 1990
19 A concurrent logical framework II: Examples and applications - Cervesato, Pfenning et al. - 2002
15 Monadic constructs for logic programming (context) - Bekkers, Tarau - 1995 DBLP
14 Multilisp: A language for parallel symbolic computation (context) - Halstead - 1985
10 Proof Theoretic Approach to Speci cation Languages (context) - Chirimar - 1995
10 Logical frameworks (context) - Basin, an - 2001 ACM DBLP
10 on and Philip Wadler. Linear logic, monads, and the lambda c.. (context) - Bent - 1996
6 A concurrent linear logic programming paradigm (context) - Kobayashi, Yonezawa - 1993
5 Department of Computer Science (context) - Asperti, for et al. - 1987
5 A lambda-free logical framework - Luo - 2003
2 Algorithmic de nition of lambda-typed lambda calculus (context) - de Bruijn - 1993
1 A modular hierarchy of logical frameworks (context) - Adams - 2003
1 Proof irrelevance and strict de nitions in a logical framewo.. (context) - Reed - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://theory.stanford.edu/~iliano/papers/): More
Cryptographically Sound Security Proofs for - Basic And Public-Key (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Towards a Notion of Quantitative Security Analysis - Cervesato (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