作者carelai (我心依旧)
看板PLT
标题[问题] 有人能很好地讲解一下Scott semantics吗?
时间Wed Oct 7 20:44:15 2015
即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://webptt.com/cn.aspx?n=bbs/PLT/M.1444221857.A.DF1.html