Games on Graphs and Sequentially Realizable Functionals (0)

by M Hyland, A Schalk
Venue:Proceedings of LICS 2002