 The use of game semantic for dealing with the full abstraction problem for PCF originates from Abramsky et al. 2000 and Hyland &amp; Ong 2000. Hanno Nickau (1994) proposed independently a game model similar to that of Hyland and Ong: their games are sometimes called collectively “H2O games”.