Abstract machines for dialogue games - 42Papers