安德鲁斯，彼得·B·。 类型理论中的分辨率。 （英语） Zbl 0231.02038号 J.塞姆。日志。 36, 414-432 (1971). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于54文件 MSC公司： 03B15号机组 高阶逻辑；类型理论（MSC2010） 03B40型 组合逻辑与lambda演算 PDF格式BibTeX公司 XML格式引用 \textit{P.B.安德鲁斯}，J.塞姆。日志。36、414--432（1971；Zbl 0231.02038） 全文： 内政部 参考文献： [1] 第5类简单理论的公式第56页–（1940） [2] 带类型变量的超限类型理论（1965）·Zbl 0132.24504号 [3] 内政部：10.2969/jmsj/01940399·Zbl 0206.27503号 ·doi:10.2969/jmsj/01940399 [4] 一阶逻辑（1968）·Zbl 0172.28901号 [5] 简单类型理论的句法和语义属性25 pp 305–（1960） [6] 类型15理论的完整性第81页–（1950） [7] 内政部：10.1145/321250.321253·Zbl 0139.12303号 ·doi:10.1145/312150.321253 [8] 高阶逻辑Hauptsatz 33 pp 452–（1968） [9] 《美国数学月刊》71卷第906页–（1964年） [10] Church-Rosser定理的抽象形式。I 34第545页–（1969）·兹比尔0195.02102 [11] DOI:10.1073/pnas.49.6.828·Zbl 0118.24901号 ·doi:10.1073/pnas.49.6.828 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。