ゲーム意味論を使って、これらの研究者は長年の課題であったプログラミング言語PCFの完全抽象モデルの定義に成功した。
使用博弈语义，上面提及的作者们解决了长期存在的为可计算函数的编程语言定义完全抽象模型的问题。