Innocent game models of untyped (0)

by A D Ker, H Nickau, C-H L Ong
Venue:Games and Semantics, Spring School on Infinite Games