Ludics with repetitions (Exponentials, Interactive types and Completeness)

Claudia Faggian, Michele Basaldella

Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies which "behav…