萨佐诺夫，V.Yu。 D.Scott的LCF语言中泛函的可表达性。 （英语。俄文原件） Zbl 0415.03011号 代数逻辑 15(1976), 192-206 (1977); 《代数逻辑》15、308-330（1976）的翻译。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3个 +4个 +5 显示扫描页面 引用于12文件 MSC公司： 03B40型 组合逻辑与lambda演算 关键词：可表示泛函；有效序列泛函；组合逻辑 引文：Zbl 0332.02036号 PDF格式BibTeX公司 XML格式引用 \textit{V.Yu.Sazonov}，代数逻辑15，192--206（1977；Zbl 0415.03011）；代数逻辑15，308-330（1976）的翻译 全文： 内政部 欧洲DML 参考文献： [1] D.Scott，《CUCH的类型理论替代品》，OWHY，ISWIN，牛津大学（1969年）。 [2] 于。L.Ershov，“有限类型的可计算泛函”，代数Logika，11，第4期，367–437（1972）。 [3] V.Yu。萨佐诺夫，“顺序和并行可计算泛函（扩展摘要）”，摘自：1975年在罗马举行的研讨会论文集，计算机科学讲稿，第37卷，斯普林格·弗拉格（1975），第312-318页·Zbl 0332.02036号 [4] V.Yu。萨佐诺夫（Sazonov），“关于D.Scott的LCF语言中对象的可表达性和可计算性”，载于《第三届全联合数学逻辑会议（俄语）》，新西伯利亚（1974），第191-194页。 [5] J.R.Hindley、B.Lercher和J.P.Seldin，组合逻辑导论，课堂讲稿系列，7，伦敦数学。Soc.（1972）·Zbl 0269.02005 [6] D.Scott，连续格，数学讲义。，第274号（1972年），第97–136页·doi:10.1007/BFb0073967 [7] M.B.Trakhtenbrot，“关于串行和并行函数的表示”，载于《计算数学与程序设计》（俄语版），新西伯利亚（1974年），第74-80页。 [8] D.Scott，“Lambda演算和递归理论”，《第三届斯堪的纳维亚逻辑研讨会论文集》，北荷兰（1975年）·Zbl 0322.02023号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。