Game Semantics Based Equivalence Checking of Higher−Order Programs (2012)

(untitled) - Hopkins, D