Jean-Yves Girard Institut de Math'ematiques de Luminy, Upr 9016 - 163,...  Home/Search
Context Related
| iml.univmrs.fr/pub/gira...banach.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: lmd.univmrs.fr/~girar...Articles (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a denotational semantics based on Banach spaces ; it is inspired from the familiar coherent semantics of linear logic, the role of coherence being played by the norm : coherence is rendered by a supremum, whereas incoherence is rendered by a sum, and cliques are rendered by vectors of norm at most 1. The basic constructs of linear (and therefore intuitionistic) logic are implemented in this framework : positive connectives yield ` 1 -like norms and negative connectives yield ` 1... (Update)
Cited by: More
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2005) (Correct)
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
The Differential Lambda-Calculus - Ehrhard, Regnier (2003) (Correct)
Active bibliography (related documents): More All
0.2: Towards Full Completeness of the Linear Logic of Chu Spaces - Pratt (1997) (Correct)
0.2: Chu Spaces as a Semantic Bridge Between Linear Logic and Mathematics - Pratt (1998) (Correct)
0.2: Types as Processes, via Chu spaces - Vaughan Pratt (1997) (Correct)
Similar documents based on text: More All
0.3: Exponents of the Ideal Class Groups of CM Number Fields - Louboutin, Okazaki (2001) (Correct)
0.3: Brauer-Siegel like results for relative class numbers of CM-fields - Louboutin (2001) (Correct)
0.3: Quantitative semantics revisited (Extended Abstract) - Barreiro, Ehrhard (Correct)
Related documents from co-citation: More All
7: Theoretical Computer Science (context) - Girard - 1987
4: Untersuchungen uber das logische Schlieen (context) - Gentzen - 1934
4: Games semantics for linear logic (context) - Lafont, Streicher - 1991
BibTeX entry: (Update)
Jean-Yves Girard. Coherent banach spaces: A continuous denotational semantics. Technical report, Institut de Mathematiques de Luminy, URL ftp://iml.univmrs. fr/pub/girard/banach.ps.Z, May 1996. http://citeseer.ist.psu.edu/girard96coherent.html More
@article{ girard99coherent,
author = "Jean-Yves Girard",
title = "Coherent {Banach} spaces: a continuous denotational semantics",
journal = "Theoretical Computer Science",
volume = "227",
number = "1--2",
pages = "275--297",
year = "1999",
url = "citeseer.ist.psu.edu/girard96coherent.html" }
Citations (may not include all citations):562 Categories for the working mathematician (context) - Lane - 1971
162 Data types as lattices (context) - Scott - 1976
104 Annals of Pure and Applied logic (context) - Girard, power et al. - 1988
104 Annals of Pure and Applied Logic (context) - Girard, unity - 1993
30 Hypercoherences : a strongly stable model of linear logic - Ehrhard - 1995
16 Annals of Pure and Applied Logic (context) - Blute, Scott et al. - 1996
10 The Chu construction - Barr - 1996
7 The Shuffle Hopf Algebra and Noncommutative Full Completenes.. - Blute, Scott - 1996
6 its syntax and semantics (context) - Girard - 1995
2 On denotational completeness (context) - Girard - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://lmd.univ-mrs.fr/~girard/Articles.html): More
Linear Logic: Its Syntax And Semantics - Girard (1995) (Correct)
On the meaning of logical rules I: syntax vs. semantics - Girard (1998) (Correct)
On the meaning of logical rules II : multiplicatives and.. - Jean-Yves Girard Institut (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