Patrick Baillot Vincent Danos Thomas Ehrhard Laurent Regnier Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. 68-75 http://www.computer.org/proceedings/lics/7925/79250068abs.htm 1997 LICS db/conf/lics/lics97.html#BaillotDE97