G. Bellin, P.J. Scott  Home/Search
Context Related
| profs.sci.univr.it/~be...PICALCPAPER.ps 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: profs.sci.univr.it/~bell...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We detail Abramsky's "proofs-as-processes" paradigm for interpreting classical linear logic (CLL) [13] into a "synchronous" version of the -calculus recently proposed by Milner [27, 28]. The translation is given at the abstract level of proof structures. We give a detailed treatment of information flow in proof-nets and show how to mirror various evaluation strategies for proof normalization. We also give Soundness and Completeness results for the process-calculus translations of various... (Update)
Similar documents based on text: More All
0.3: Chu's construction: A proof-theoretic approach - Bellin (1999) (Correct)
0.2: On the pi-Calculus and Linear Logic - Bellin, Scott (1994) (Correct)
0.2: Cut-Elimination for Full Intuitionistic Linear Logic - Braüner, de Paiva (Correct)
BibTeX entry: (Update)
G. Bellin and P. J. Scott. On the pi-calculus and linear logic. Manuscript, 1992. http://citeseer.ist.psu.edu/bellin94picalculus.html More
@article{ bellin94picalculus,
author = "Gianluigi Bellin and Philip J. Scott",
title = "On the pi-Calculus and Linear Logic",
journal = "Theoretical Computer Science",
volume = "135",
number = "1",
pages = "11-65",
year = "1994",
url = "citeseer.ist.psu.edu/bellin94picalculus.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard, Scedrov et al.
982 Theoretical Computer Science (context) - Girard - 1987
982 Theoretical Computer Science (context) - Blute, coherence - 1993
233 Computational Interpretations of Linear Logic - Abramsky - 1993
133 Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
76 The polyadic -Calculus: a tutorial - Milner - 1993
69 Geometry of Interaction I: Interpretation of system F (context) - Girard - 1989
68 Towards a Geometry of Interaction (context) - Girard - 1989
53 Center for the Study of Language and Information (context) - Troelstra, Linear et al.
49 Annals of Pure and Applied Logic (context) - Blass, semantics et al. - 1992
42 Linear logic without boxes - Gonthier, Abadi et al. - 1992
31 The Structure of Multiplicatives (context) - Danos, Regnier - 1989
23 University of Edinburgh (context) - Milner, -Calculus et al. - 1992
17 Turing Award Lecture (context) - Milner - 1992
17 Proofs-as-processes (context) - Abramsky - 1992
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://profs.sci.univr.it/~bellin/papers.html): More
Subnets of Proof-nets in MLL- - Bellin, Wiele (1994) (Correct)
Planar and Braided Proof-Nets for Multiplicative Linear Logic .. - Bellin, Fleury (1997) (Correct)
Chu's construction: A proof-theoretic approach - Bellin (1999) (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