Pierre Hyvernat Synchronous games, simulations and lambda-calculus. 1-15 2005 conf/galop/2005 GALOP db/conf/galop/galop2005.html#Hyvernat05