J. M. E. Hyland. Conway games and linear logic. Unpublished lecture, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994) (132 citations) (Correct)
....of games , which is used by Joyal as the basis for his construction of a category of games, then arises by dropping the stipulation from our definition of tensor product that only Opponent is allowed to switch components. This immediately obliterates the distinction between Tensor and Par; Hyland [Hyl90] has shown that Joyal s category does not admit satisfactory interpretations of the additives and exponentials. Our games are apparently less general than Conway s; however, as soon as our definition of tensor product is adopted (with the consequent notion of morphism; note that Joyal s definition ....
J. M. E. Hyland. Conway games and linear logic. Unpublished lecture, 1990.
Games and Full Completeness for Multiplicative Linear Logic - Abramsky, Jagadeesan (1992) (132 citations) (Correct)
....of games , which is used by Joyal as the basis for his construction of a category of games, then arises by dropping the stipulation from our definition of tensor product that only Opponent is allowed to switch components. This immediately obliterates the distinction between Tensor and Par; Hyland [Hyl90] has shown that Joyal s category does not admit satisfactory interpretations of the additives and exponentials. Our games are apparently less general than Conway s; however, as soon as our definition of tensor product is adopted (with the consequent notion of morphism; note that Joyal s definition ....
J. M. E. Hyland. Conway games and linear logic. Unpublished lecture, 1990.
Games and Full Completeness for Multiplicative Linear Logic - Abramsky, Jagadeesan (1994) (132 citations) (Correct)
....of games , which is used by Joyal as the basis for his construction of a category of games, then arises by dropping the stipulation from our definition of tensor product that only Opponent is allowed to switch components. This immediately obliterates the distinction between Tensor and Par; Hyland [Hyl90] has shown that Joyal s category does not admit satisfactory interpretations of the additives and exponentials. Our games are apparently less general than Conway s; however, as soon as our definition of tensor product is adopted (with the consequent notion of morphism; note that Joyal s definition ....
J. M. E. Hyland. Conway games and linear logic. Unpublished lecture, 1990.
Fair Games and Full Completeness for Multiplicative Linear.. - Hyland, Ong (1993) (25 citations) Self-citation (Hyland) (Correct)
....net. By (2) this implies that the proof structure ( Gamma; OE oe ) is in fact a proof net. 5 Further Directions Extension to Infinite Games [Preliminary calculations suggest that the obvious extension of the definition works ] Big gaps here. Related Work Old work: Con76] Joy77] [Hyl90], LS91] Lamarche: Lam93] Concrete Data Structure and Sequential Algorithms: Cur93] Acknowledgements We would like to thank members of the Cambridge Imperial Joint Seminars on Game Semantics for helpful discussions. ....
J. M. E. Hyland. Conway games and linear logic. 1990. unpublished lecture.
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