普洛金，G.D。 LCF被认为是一种编程语言。 （英语） Zbl 0369.68006号 西奥。计算。科学。 5(1977), 223-255 (1978). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于8评论引用于242文件 MSC公司： 68号01 软件理论的一般主题 软件：低成本融资 PDF格式BibTeX公司 XML格式引用 \文本{G.D.Plotkin}，Theor。计算。科学。5223--255（1978年；Zbl 0369.68006） 全文： 内政部 参考文献： [1] Gordon，M.，《纯LISP程序的评估和表示：语义学的一个实例》（爱丁堡大学博士论文（1973），爱丁堡：爱丁堡州立大学） [2] Howard，W.A.，有限型本原递归泛函项的序数赋值，（Kino，A.；Myhill，J.；Vesley，R.E.，直觉主义和证明理论（1970），北荷兰语：北荷兰德阿姆斯特丹）·Zbl 0206.28202号 [3] Milner，R.，LCF模型，（备忘录AIM-186（1973），斯坦福大学斯坦福人工智能实验室：斯坦福大学人工智能实验室，加利福尼亚州斯坦福）·2018年03月64日Zbl [4] Milne，R.，《计算机语言的形式语义及其实现》（博士论文（1974），剑桥大学：剑桥大学） [5] Newey，M.，LCF中整数、列表和有限集的公理和定理，（备忘录AIM-184（1973），斯坦福大学计算机科学系：加利福尼亚州斯坦福大学计算机系） [6] Plotkin，G.D.，调用名，调用值和λ-演算，理论。计算。科学，1（1975）·Zbl 0325.68006号 [7] Scott，D.，高等类型可计算函数理论（1969），牛津大学：牛津大学，未出版研讨会笔记 [8] Scott，D.，《格理论、数据类型和语义》（Rustin，P.，《程序设计语言的形式语义》（1970），Prentice-Hall：新泽西州Prentice-Hall Englewood Cliff）·Zbl 0279.68042号 [9] Troelstra，A.S.，直觉算术和分析的元数学研究，（数学课堂讲稿，344（1973），施普林格：施普林格-柏林）·Zbl 0275.02025号 [10] Vuillemin，J.，简单编程语言中递归的正确和优化实现，Proc。第五届ACM计算理论研讨会，224-239（1973）·Zbl 0305.68013号 [11] Wadsworth，C.P.，lambda演算的语义学和语用学（1971），牛津大学：牛津大学 [12] C.P.Wadsworth，《lambda-calculus斯科特模型中lambda-expressions及其外延之间的关系》（即将出版）。；C.P.Wadsworth，《lambda-calculus斯科特模型中lambda-expressions及其外延之间的关系》（即将出版）。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。