"Game Semantics & Abstract Machines."

Vincent Danos, Hugo Herbelin, Laurent Regnier (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics