Game Semantics & Abstract Machines.

Vincent Danos, Hugo Herbelin, Laurent Regnier

Browse the full LICS paper archive.