Game Semantics Based Equivalence Checking of Higher−Order Programs - Hopkins, D (2012)