寻求斯科特的原始LCF论文

以下手稿是否公开可用？

达纳·斯科特（Dana Scott），1969年，一种高阶可计算函数的理论。未出版的研讨会笔记，共7页，牛津大学。

在Cardone和Hindley，2006年Lambda微积分和组合逻辑的历史中，第8.1.2节“ 类型为集合 ”中对本文进行了讨论。另外，第10.1节“ 领域理论 ”可追溯至本手稿，其中包含一些至关重要的顺序理论见解。

发布为：

斯科特，D。ISWM，CUCH，OWHY的类型理论替代品。理论计算机科学，第一卷。121（1993），第411-440页。

也可以看看：

斯科特，D。对斯特拉奇及其工作的一些思考。于：专为克里斯托弗·斯特拉奇（Christopher Strachey）发行的特刊，由O. Danvy和C. Talcott编辑。等级排序和符号计算，第一卷。13（2000），第103-114页。

和：

Gordon D. Plotkin，《λ演算的集合论》和其他基本模型，《理论计算机科学》，第1卷。121（1993），第351-409页。