即Scott continuous semantics，把lambda term的每個變元對應于cpo上的一個客體，
每個函數對應于一個連續函數，這個semantics還可以推廣到ccc（cartesian closed
category）上（大致是這樣）。有人對此有詳細瞭解嗎？能解答小弟的疑問嗎？
另外據paper上說，Scott continuous semantics不是唯一的數學模型，能否構建不依賴
于cpo的lambda calculus的模型，目前還是個Open Problem……