J.Y. Girard, Coherent Banach Spaces, preprint, (1996) and lectures delived at Keio University, Linear Logic '96, April 1996 Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
The Shuffle Hopf Algebra and Noncommutative Full Completeness - Blute, Scott (1996) (5 citations) (Correct)
....formulas: Products jj(v; w)jj = maxfjjvjj; jjwjjg Coproducts jj(v; w)jj = jjvjj jjwjj These correspond to the 1 and 1 norms respectively. Given our previous work, this seems a promising candidate for a full completeness theorem for MALL. Girard, in a recent series of talks and preprint [18], has proposed the notion of a coherent Banach space in which the additive structure is modeled as above, and the exponentials are modeled via the notion of analytic functions on a Banach space. He also proposes a new version of linear sequent calculus in which the proof rules are labeled by ....
J.Y. Girard, Coherent Banach Spaces, preprint, (1996) and lectures delived at Keio University, Linear Logic '96, April 1996
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