R·斯塔特曼。 完整性、不变性和lambda可定义性。 (英语) Zbl 0487.03006号 J.塞姆。日志。 47, 17-26 (1982). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于三评论引用于27文件 MSC公司: 03B40型 组合逻辑与lambda演算 03B25号 理论和句子集的可决定性 关键词:λ可定义性;λ转换;类型lambda演算的模型;术语模型 PDF格式BibTeX公司 XML格式引用 \textit{R.Statman},J.Symb。日志。47、17--26(1982;Zbl 0487.03006) 全文: 内政部 参考文献: [1] {\(\lambda\)}-可定义性和逻辑关系(1973) [2] 计算机科学课堂讲稿37 pp 213–(1975) [3] 数学讲义453第22页–(1975) [4] 组合逻辑1(1968)·Zbl 0175.27601号 [5] 内政部:10.1016/0304-3975(79)90007-0·Zbl 0411.03050号 ·doi:10.1016/0304-3975(79)90007-0 [6] 自然扣除(1965年) [7] 内政部:10.1016/0304-3975(76)90021-9·Zbl 0361.02020号 ·doi:10.1016/0304-3975(76)90021-9 [8] 数学课堂笔记344 pp 123–(1973) [9] 数学逻辑手册第1091页–(1977) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。