1990年代、ゲーム意味論によってPCFの完全抽象モデルが構築され、表示的意味論の手法に根本的な変化をもたらした。
在1990年代成功的用博弈语义为PCF提供了完全抽象模型，导致了对指称语义的工作在方式上的根本改变。