Propositional Fragment Kevin Watkins, Iliano Cervesato, Frank Pfenning,...  Home/Search
Context
Related
| stanford.edu/~iliano/pap...FCMG_e.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/~i...orthcomingmain (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)
Similar documents (at the sentence level):
69.1%: A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (Correct)
Active bibliography (related documents): More All
0.8: A Concurrent Logical Framework II: Examples and.. - Cervesato, Pfenning.. (2003) (Correct)
0.7: A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (Correct)
0.4: Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
Similar documents based on text: More All
0.7: CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (Correct)
0.3: Efficient Resource Management for Linear Logic Proof Search - Cervesato, Hodas, Pfenning (2000) (Correct)
0.3: A Linear Logical Framework - Cervesato (1996) (Correct)
BibTeX entry: (Update)
@misc{ kevin-concurrent,
author = "Propositional Fragment Kevin",
title = "A Concurrent Logical Framework: the",
url = "citeseer.ist.psu.edu/601676.html" }
Citations (may not include all citations):369 Information and Computation (context) - Moggi, computation - 1991
291 Computational lambda calculus and monads - Moggi - 1989
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
43 A survey of the project AUTOMATH (context) - de Bruijn - 1980
38 From Petri nets to linear logic through categories: A survey (context) - Mart, Meseguer - 1991 DBLP
36 Dipartimento di Informatica (context) - Cervesato, Logical et al. - 1996
33 A preliminary version appeared in the Proceedings of the Six.. (context) - Hodas, Miller et al. - 1991
33 Theoretical Computer Science (context) - Honsell, Miculan et al. - 2001 ACM
32 Petri nets and linear logic: a case study for logic programm.. - Cervesato - 1995
31 Theoretical Computer Science (context) - Bellin, Scott et al. - 1994 ACM
30 ato and Frank Pfenning. A linear logical framework. Informat.. (context) - Cerves - 1998
30 Typed MSR: Syntax and examples - Cervesato - 2052 DBLP
27 A framework for de ning logics (context) - Harper, Honsell et al. - 1993
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
21 Encoding dependent types in an intuitionistic logic - Felty - 1991
19 A concurrent logical framework II: Examples and applications - Cervesato, Pfenning et al. - 2002
18 Proof Search Issues in Some Non-Classical Logics - Howe - 1998
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 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 Focussing proof-net construction as a middleware paradigm (context) - Andreoli - 2002 ACM DBLP
2 Algorithmic de nition of lambda-typed lambda calculus (context) - de Bruijn - 1993
2 True versus arti cial concurrency (context) - Mazurkiewicz - 1995
Documents on the same site (http://theory.stanford.edu/~iliano/forthcoming-main.html): More
Linear Higher-Order Pre-Unification - Iliano Cervesato, Frank Pfenning (1997) (Correct)
Logical Framework Design: Why not just classical logic? - Cervesato (Correct)
Petri Nets as Multiset Rewriting Systems in a Linear Framework - Cervesato (1994) (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