Hypergames and full completeness for system F (rough draft)

Dominic Hughes

This paper reviews the fully complete hypergames model of system $F$, presented a decade ago in the author's thesis. Instantiating type variables is modelled by allowing ``games as…