Abstract machines for game semantics, revisited - 42Papers