https://123dok.net/document/z3dm52km-synchronous-games-simulations-and-lambda-calculus.html