G. Bellin. Chu's Construction: A Proof-theoretic Approach. Submitted for publication. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Glueing and Orthogonality for Models of Linear Logic - Hyland (2001) (4 citations) (Correct)
....restrict morphisms to winning strategies. Note however that we cannot give the same simple abstract account of their category of games and history free (winning) strategies. 2) More recently, Bellin has made use of this construction in his analysis of the meaning of the long trip condition. In [10] he considers C d where C is the free symmetric monoidal category with nite products. 3) In our work on categories of abstract games (see [37] for an outline) we apply the construction to Rel. Of course Rel is a degenerate model of classical linear logic and so it is in any case self dual. ....
G. Bellin. Chu's Construction: A Proof-theoretic Approach. Submitted for publication.
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