Games on graphs and sequentially realizable functionals (2002)

by Martin Hyland, Andrea Schalk
Venue:In Logic in Computer Science 02