On the pi-Calculus and Linear Logic

On the pi-Calculus and Linear Logic (1994)

Cached

Download Links

by G. Bellin , et al.

Citations:

BibTeX

@MISC{Bellin94onthe,
    author = {G. Bellin and et al.},
    title = {On the pi-Calculus and Linear Logic},
    year = {1994}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

272	Computational interpretations of linear logic - Abramsky - 1993
115	The structure of multiplicatives - Danos, Regnier - 1989
112	A game semantics for linear logic - Blass - 1992
99	The #-calculus as a theory in linear logic: Preliminary results - Miller - 1993
97	Towards a geometry of interaction - Girard - 1989
91	Geometry of Interaction I: interpretation of system F - Girard - 1989
69	New foundations for the geometry of interaction - Abramsky, Jagadeesan - 1994
40	Elements of interaction: Turing award lecture - Milner - 1993
27	Linear logic, coherence and dinaturality - Blute - 1993
22	Lambda calcul et réseaux, Thèse de doctorat de l’université Paris - Regnier - 1992
20	The Polyadic -Calculus: A Tutorial,” Logic and Algebra of Specification - Milner - 1993
20	Réseaux et Séquents Ordonnés. Thèse de Doctorat, spécialité Mathématiques, Université Paris 7, février - Retoré - 1993
15	Lectures on Linear Logic, CSLI Lecture Notes (V. 29), Center for the Study of Language and Information - Troelstra - 1992
14	Proof nets for multiplicative and additive linear logic - Bellin - 1991
13	Mechanizing Proof Theory: Resource-Aware Logics and Proof-Transformations to Extract Implicit Information - Bellin - 1990
13	Geometry of Interaction 2: Deadlock-free Algorithms - Girard - 1990
11	Causal Dependencies in Multiplicative Linear Logic with MIX, manuscript - Asperti
11	logique linéaire appliquée à l’étude de divers processus de normalisation et principalement du lambda calcul - La - 1990
10	Logique Lin'eaire Appliqu'ee `a l"etude de Divers Processus de Normalisation (Principalement du -Calcul - La - 1990
5	Games and Full Completeness Theorem for Multiplicative Linear Logic - Abramsky, Jagadeesan
4	de Wiele. Proof Nets and Typed Lambda Calculus, manuscript - Bellin, van - 1993
4	16] J-Y. Girard. Towards a Geometry of Interaction - Logic, Parallelism - 1987
4	The polyadic ss-Calculus: a tutorial, in: Logic and Algebra of Specification - Milner - 1993
3	Action Structures and the -calculus, to appear in - Milner - 1993
1	Proofs-as-processes. Seminar talk - Abramsky - 1992
1	logic without boxes - Linear - 1992
1	Some Results on the Interpretation of -calculus - Malacaria, Regnier - 1991
1	The Synchronous -Calculus. Unpublished lectures - Milner - 1992
1	Linear Logic as CSP, to appear in - Monteiro
1	de Weile. Proof Nets and Typed Lambda Calculus, in preparation - Bellin, van
1	Linear logic, coherence and dinaturality, Th - Blute - 1993
1	Action Structures and the ss-calculus, to appear in - Milner - 1993