即Scott continuous semantics，把lambda term的每个变元对应于cpo上的一个客体，
每个函数对应于一个连续函数，这个semantics还可以推广到ccc（cartesian closed
category）上（大致是这样）。有人对此有详细了解吗？能解答小弟的疑问吗？
另外据paper上说，Scott continuous semantics不是唯一的数学模型，能否构建不依赖
于cpo的lambda calculus的模型，目前还是个Open Problem……