@InProceedings{Hug97, author = {D.~Hughes}, title = {Games and definability for system $F$}, booktitle = {Logic in Computer Science}, year = {1997}, organization = {IEEE} }