|
|||||
|
|
| 关于D∞的一个基本投射不等式 | |
| 作者姓名： | 王建 |
| 作者单位： | 浙江师范大学数理学院,浙江,金华,321004;衢州学院教育系,浙江,衢州,324000 |
| 摘 要： | 该文给出D∞的一个基本投射不等式．它在文[1]证明D∞是一个外延λ-模型时的地位是重要的,但文[1]将它误认为一个等式的多次应用． |
| 关 键 词： | 完备偏序集 投射 D∞ λ-演算 |
| 文章编号： | 1008-9403(2008)01-0006-03 |
| 修稿时间： | 2007-06-06 |
| 本文献已被 维普 万方数据 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |