| 关于D∞的一个基本投射不等式 |
| |
| 引用本文： | 王建.关于D∞的一个基本投射不等式[J].杭州师范学院学报(自然科学版),2008,7(1):6-8. |
| |
| 作者姓名： | 王建 |
| |
| 作者单位： | 浙江师范大学数理学院,浙江,金华,321004;衢州学院教育系,浙江,衢州,324000 |
| |
| 摘 要： | 该文给出D∞的一个基本投射不等式．它在文1]证明D∞是一个外延λ-模型时的地位是重要的，但文1]将它误认为一个等式的多次应用．
|
| 关 键 词： | 完备偏序集 投射 D∞ λ-演算 |
| 文章编号： | 1008-9403(2008)01-0006-03 |
| 修稿时间： | 2007年6月6日 |
A Basic Projective Inequality of D∞ |
| |
| WANG Jian.A Basic Projective Inequality of D∞[J].Journal of Hangzhou Teachers College(Natural Science),2008,7(1):6-8. |
| |
| Authors: | WANG Jian |
| |
| Institution: | WANG Jian(1. College of Mathematics and Physics, Zhejiang Normal University, Jinhua 321004, China; 2. Department of Education, Quzhou College, Quzhou 324000, China) |
| |
| Abstract: | This paper summarizes a basic projective inequality of D∞. It＇s important for proving D∞ to be a λ- model of extensionality in reference1], However, reference 1] takes it as the frequent application of an equality by mistake. |
| |
| Keywords: | complete partially ordered set projection D∞ λ-calculus |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
