关于D∞的一个基本投射不等式

• 作者: 王建
• 来源期刊: 杭州师范学院学报（自然科学版）
• 学科: 工学
• 关键词: 完备偏序集 投射 D∞ λ-演算
• 年，卷（期）: 2008,（1）
• 页码范围: 6-8,44
• 页数: 4页
• 分类号: TP301.2|O141.3
• 字数: 2943字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-232X.2008.01.002

摘要

该文给出D∞的一个基本投射不等式.它在文[1]证明D∞是一个外延λ-模型时的地位是重要的,但文[1]将它误认为一个等式的多次应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王建	浙江师范大学数理学院	7	14	2.0	3.0