Michele Basaldella Claudia Faggian Ludics with repetitions (Exponentials, Interactive types and Completeness) http://dx.doi.org/10.2168/LMCS-7(2:13)2011 2011 Logical Methods in Computer Science 7 2 db/journals/lmcs/lmcs7.html#abs-1104-0504