A. Joyal. Free lattices, communication and money games. In M.L. Dalla Chiara et al. (eds.), Logic and Scientific Methods, 29-68. Kluwer Academic Publishers. 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
μ-Bicomplete Categories and Parity Games - Santocanale (Correct)
.... of transition systems that are de nable by alternating xed point expressions can be checked using algorithms designed and proved correct by means of game theoretic ideas and analogies [12] Generalizing ideas that relate the theory of two persons games with the theory of bicomplete categories [18, 19], we show that it is possible to endow parity games with an algebraic meaning, so that they can be considered to be terms of a categorical theory. We show then the equivalence of this meaning to the one of terms de ning bicomplete categories. On the combinatorial side, parity games can be ....
A. Joyal. Free lattices, communication and money games. In Logic and scienti c methods (Florence, 1995.
Parallel and Serial Hypercoherences - Ehrhard (1995) (2 citations) (Correct)
....( Phi) they are in some sense neutral (this corresponds to the fact that in coherence spaces or hypercoherences, a singleton is both coherent and incoherent) This is of course very different from the standard game theoretic situation. A similar notion of neutral extremal position appears in [Joy95]. Then a clique in the corresponding coherence space essentially corresponds to a deterministic partial strategy for Player. Whence the idea of studying the connection between hypercoherences and serial parallel graphs. With this respect, a fundamental property of hypercoherences is that they ....
Andr Joyal. Free lattices, communication and money games. In Proceedings of the 10 th International Congress of Logic, Methodology, and Philosophy of Science, Firenze, 1995. North-Holland.
Axioms for Definability and Full Completeness - Abramsky (2000) (Correct)
....empty strategies. The strict strategies oe : A B are those which respond to the opening move by Opponent (which must be in B) with a move in A if they have any response at all. 2.3 Atomic and discrete objects Let C be a category with finite products and maps. An object B of C is a atom (cf. [Joy95a, Joy95b]) if C s ( Gamma; B) C o s Gamma Set 3 preserves coproducts, i.e. for each finite family fA i j i 2 Ig of objects in C, the canonical map X i2I C s (A i ; B) a i2I C t (A i ; B) Gamma C s ( Y i2I A i ; B) i; f) 7 i ; f 7 Q i2I A i ;B is a bijection. The ....
....is strict; or responds with an answer in B which completes the play, and hence is a constant strategy. In Cpo, flat domains are discrete (any continuous function into a flat domain is either strict or constant) Coh, the category of coherence spaces and linear maps, is soft in the sense of [Joy95a, Joy95b] see [HJ97] 2.4 Standard datatypes Let C be a category with maps as in Section 2.2. We assume given a class of objects of C which we will call well opened , which forms an exponential ideal, i.e. if B is well opened os is A Gammaffi B, and which moreover is closed under products. We write ....
A. Joyal. Free lattices, communication and money games. In Proceedings of the 10th International Congress on Logic, Methodology and Philosophy of Science, 1995.
Sequential Algorithms and Strongly Stable Functions - Mellies (Correct)
No context found.
A. Joyal. Free lattices, communication and money games. In M.L. Dalla Chiara et al. (eds.), Logic and Scientific Methods, 29-68. Kluwer Academic Publishers. 1997.
From Parity Games to Circular Proofs - Santocanale (2002) (Correct)
No context found.
A. Joyal, Free lattices, communication and money games, in: Logic and scienti c methods (Florence, 1995.
Ambiguous Classes in the Games μ-Calculus Hierarchy - Arnold, Santocanale (Correct)
No context found.
A. Joyal. Free lattices, communication and money games. In Logic and scienti c methods (Florence, 1995.
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