Lorenzo Tortora de Falco  Home/Search
Context Related
| logique.jussieu.fr...dpart2TCSWWW.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: We prove the additive standardization theorem for full linear logic (without constants). 1 (Update)
Context of citations to this paper: More
.... (rare indeed) properties and definitions introduced in this paper, the separation property is not used here, but it is essential in [Tortora 00b] We nevertheless decided to include its proof in the paper, because on the one hand it suggested us 2 the main theorem of section 5,...
...property (proposition 2. 14) Our generalization of the additive commutative step of normalization (already studied in [TdF01] and [TdF00a]) preserves the correctness criterion (ACC) of de nition 2.4 and the denotational semantics of de nition B.2. Except for these two...
Cited by: More
The Additive Multiboxes - de Falco (2000) (Correct)
Additives of linear logic and normalization- Part I: a.. - Lorenzo Tortora De (Correct)
Active bibliography (related documents): More All
0.7: Polarized and Focalized Linear and Classical Proofs - Olivier Laurent Iml-Cnrs (2000) (Correct)
0.6: Slicing Polarized Additive Normalization - Laurent, de Falco (Correct)
0.3: Obsessional experiments for Linear Logic Proof-nets - de Falco (2001) (Correct)
Similar documents based on text: More All
0.8: SN and CR for free-style LK^tq: linear decorations and.. - Joinet, Schellinx, de.. (2000) (Correct)
0.4: Curry-Howard terms for Linear Logic - Albrecht, Bäuerle, Crossley, Jeavons (1994) (Correct)
0.3: A coarsification of the Wagner Hierarchy - Duparc (Correct)
Related documents from co-citation: More All
2: Polarized proof-nets: proof-nets for LC (context) - Laurent - 1999
2: Proof-nets and the Hilbert space - Danos, Regnier - 1995
2: Information and Computation (context) - Talpin, Jouvelot et al. - 1994
BibTeX entry: (Update)
Tortora de Falco L., "Additives of Linear Logic and Normalization Part II: the standardization property", submitted to Theoretical Computer Science 47 http://citeseer.ist.psu.edu/tortoradefalco00additives.html More
@misc{ falco-additives,
author = "T. de Falco",
title = "Additives of Linear Logic and Normalization Part II: the standardization
property",
text = "Tortora de Falco L., Additives of Linear Logic and Normalization Part II:
the standardization property, submitted to Theoretical Computer Science
47",
url = "citeseer.ist.psu.edu/tortoradefalco00additives.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
72 Archives for Mathematical Logic (context) - Danos, Regnier - 1989
57 A new deconstructive logic: linear logic - Danos, Joinet et al. - 1997
40 Proof-nets: the parallel syntax for proof-theory (context) - Girard - 1995
31 Information and Computation (context) - Girard - 1998
21 Proof-nets and the Hilbert space - Danos, Regnier
9 Polarized proof-nets: proof-nets for LC (context) - Laurent
6 Quantiers in linear logic II (context) - Girard - 1990
5 Additives of Linear Logic and Normalization-Part (context) - de Falco - 2000
4 SN and CR for free-style LK tq : linear decorations and simu.. (context) - Schellinx, Tortora - 2000
3 available addres httpwww (context) - de Falco, erence et al. - 2000
1 Polarized and focalized classical and linear proofs (context) - Laurent, Quatrini et al. - 2000
1 La logique lineaire appliquee a divers processus de norma.. (context) - Danos - 1990
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)
Slicing Polarized Additive Normalization - Laurent, de Falco (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