1. M. Basaldella, C. Faggian, Ludics with repetition (exponentials, interactive types and completeness), in: LICS’09, 2005.
2. On the meaning of logical completeness;Basaldella;Log. Methods Comput. Sci.,2010
3. Abstract Böhm trees;Curien;Math. Struct. Comput. Sci.,1998
4. P.-L. Curien, Introduction to linear logic and ludics, part II, in: CoRR, abs/cs/0501039, 2005.
5. P.-L. Curien, H. Herbelin, Abstract machines for dialogue games, in: CoRR, abs/0706.2544, 2007.