Marie-Renée Fleury Myriam Quatrini First order in Ludics. 189-213 2004 14 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129503004134 db/journals/mscs/mscs14.html#FleuryQ04