Games on graphs and sequentially realizable functionals (2002)

by M Hyland, A Schalk
Venue:In Proc. of LICS’02