Olivier Laurent, Lorenzo Tortora de Falco  Home/Search
Context Related
| logique.jussieu.fr/pub...sliceWWW.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: logique.jussieu.fr/www.t...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: To attack the problem of \computing with the additives", we introduce a notion of sliced proof-net for the polarized fragment of linear logic. We prove that this notion yields computational objects, sequentializable in the absence of cuts. We then show how the injectivity property of denotational semantics guarantees the \canonicity" of sliced proof-nets, and prove injectivity for the fragment of polarized linear logic corresponding to simply typed -calculus with pairing. 1 (Update)
Cited by: More
Interactive Observability in Ludics - Faggian (2003) (Correct)
Active bibliography (related documents): More All
1.9: The Additive Multiboxes - de Falco (2000) (Correct)
1.6: Obsessional experiments for Linear Logic Proof-nets - de Falco (2001) (Correct)
0.6: Polarized and Focalized Linear and Classical Proofs - Olivier Laurent Iml-Cnrs (2000) (Correct)
Similar documents based on text: More All
0.4: Slicing Books - The Authors' Perspective - Dahn, Armbruster, Furbach, Schwabe (Correct)
0.3: Additives of linear logic and normalization- Part I: a.. - Lorenzo Tortora De (Correct)
0.2: Additives of linear logic and normalization-Part II: the.. - de Falco (2000) (Correct)
BibTeX entry: (Update)
Laurent and Tortora de Falco. Slicing polarized additive normalization. In Ehrard, Girard, Ruet, and Scott, editors, Linear Logic in Computer Science, to appear. http://citeseer.ist.psu.edu/466783.html More
@misc{ tortora-slicing,
author = "L. Tortora",
title = "Slicing polarized additive normalization",
text = "Laurent and Tortora de Falco. Slicing polarized additive normalization.
In Ehrard, Girard, Ruet, and Scott, editors, Linear Logic in Computer Science,
to appear.",
url = "citeseer.ist.psu.edu/466783.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Girard - 1987 ACM
57 A new deconstructive logic: linear logic - Danos, Joinet et al. - 1997 DBLP
21 Information and Computation (context) - Girard, logic - 1995 DBLP
21 A new constructive logic: classical logic (context) - Girard - 1991 DBLP
10 the meaning of logical rules I: syntax vs (context) - Girard - 1999
9 Polarized proof-nets: proof-nets for LC (context) - Laurent - 1999
7 Proof-nets: the parallel syntax for proof-theory (context) - Girard - 1996
6 La Logique Lineaire appliquee a l'etude de divers proces.. (context) - Danos - 1990
6 Quantiers in linear logic II (context) - Girard - 1991
4 Polarized and focalized linear and classical proofs - Laurent, Quatrini et al. - 2000
4 To appear in Mathematical Structures in Computer Science (context) - Girard, Available et al. - 2000
3 Available addres httpwww (context) - de Falco, erence et al. - 2000
2 Archive for Mathematical Logic (context) - Duquesne, Wiele et al. - 1994
2 Le dimostrazioni logiche come costruzioni: spazi coerenti ed.. (context) - Barcaglioni - 2001
2 meaning logical rule II multiplicativeadditive case (context) - Girard, meaning et al. - 2000
1 The additive multiboxes - de Falco - 2000
1 Obsessional experiments for linear logic proof-nets - de Falco - 2001 ACM DBLP
Documents on the same site (http://www.logique.jussieu.fr/www.tortora/papers.html): More
Additives of linear logic and normalization- Part I: a.. - Lorenzo Tortora De (Correct)
Additives of linear logic and normalization-Part II: the.. - de Falco (2000) (Correct)
The Additive Multiboxes - de Falco (2000) (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