An approach to innocent strategies as graphs

Pierre-Louis Curien (1) , Claudia Faggian (1)

1 PPS - Preuves, Programmes et Systèmes

This paper proposes an approach for extending to graphs the close relation between proofs and innocent strategies. We work in the setting of L-nets, introduced by Faggian and Maurel as a game model of concurrent interaction. We show how L-nets satisfying an additional condition, which we call LS-nets, can be sequentialized into traditional tree-like strategies. Conversely, sequential strategies can be relaxed into more asynchronous ones. We develop an algebra of constructors and destructors that serve to build and decompose graph strategies, and to describe a class of minimally sequential graph strategies, which can be seen as an abstract kind of multiplicative-additive proof-nets.

Mots clés: logique linéaire; sémantique des jeux; ludique

Domaines: Logique en informatique [cs.LO]

Pierre-Louis Curien, Claudia Faggian. An approach to innocent strategies as graphs. Information and Computation, 2012, 214, pp.119-155. ⟨hal-00155293⟩