即Scott continuous semantics，把lambda term的每個變元對應于cpo上的一個客體，
每個函數對應于一個連續函數，這個semantics還可以推廣到ccc（cartesian closed
category）上（大致是這樣）。有人對此有詳細瞭解嗎？能解答小弟的疑問嗎？
另外據paper上說，Scott continuous semantics不是唯一的數學模型，能否構建不依賴
于cpo的lambda calculus的模型，目前還是個Open Problem……
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 122.225.36.176
※ 文章網址: https://www.ptt.cc/bbs/PLT/M.1444221857.A.DF1.html