米尔纳，罗宾 类型化\（\lambda\）-结石的完全抽象模型。 （英语） 兹伯利0386.003006 西奥。计算。科学。 4, 1-22 (1977). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4个 +5 显示扫描页面 引用于3评论引用于117文件 MSC公司： 03B40型 组合逻辑与lambda演算 68号01 软件理论的一般主题 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \文本{R.Milner}，Theor。计算。科学。4、1--22（1977年；Zbl 0386.03006） 全文： 内政部 链接 参考文献： [1] Hyland，J.M.E.，关于lambda演算术语的一些有用偏序关系的调查，Proc。交响乐团。λ-演算。科学。理论（1975年3月），罗马·Zbl 0335.02013 [2] Milne，R.，《计算机语言的形式语义及其实现》（技术专著PRG-13（1975），牛津大学计算实验室，编程研究小组） [3] Milner，R.，《过程》；计算代理的数学模型，（Rose；Shepherdson，《73年逻辑学术讨论会，逻辑研究和数学基础》，第80卷（1975），北荷兰/美国爱思唯尔出版社）·Zbl 0299.00011号 [4] Plotkin，G.，LCF作为一种编程语言，Theoret。计算。科学。。理论。计算。科学。，程序。Conf.程序验证和改进（1975年）（待发布）·Zbl 0369.68006号 [5] Plotkin，G.，Lambda可定义性和逻辑关系，（备忘录SAI-RM-4（1973），人工智能学院：爱丁堡人工智能学院） [6] Reynolds，J.C.，《直接语义和连续语义之间的关系》，（Loeckx，Automata，语言和编程。Automata、语言和编程，计算机科学讲义，第14卷（1974年），Springer-Verlag），第二次学术讨论会，萨尔布鲁克大学·Zbl 0313.68023号 [7] Scott，D.，各种无类型计算的晶格理论模型，Proc\第（4）届国际。逻辑、方法论和科学哲学大会（1972年），布加勒斯特 [8] 斯科特·D。；Strachey，C.，《面向计算机语言的数学语义》（Proc.Symp.on Compute.Automata，Proc.Symm.on computer.Automato，微波研究所系列研讨会，第21卷（1972），布鲁克林理工学院）·Zbl 0268.68004号 [9] Stenlund，S.，组合算子，λ-项和证明理论（1972），Reidel公司：Reidel Co Holland·Zbl 0248.02032号 [10] Vuillemin，J.，递归程序的证明技术，（研究报告，IRIA，78150（1973），Le Chesnay:Le Chensay France） [11] Wadsworth，C.，λ-演算的Scott（D^∞）模型的计算性质和指称性质之间的关系，SIAM J.Compute。，5，3（1976年）·Zbl 0346.02013.中 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。