|
|||||
|
|
| 类型理论和程序设计 | |
| 作者姓名： | 李未 王飓安 |
| 作者单位： | 北京航空航天大学计算机科学系 100083 |
| 摘 要： | 一、类型理论的起源与发展类型理论的基本思想和方法学基础来源于哲学中的归类(classification)方法,即把具有共同特点的类集合成超类的思维过程和方法。归类是形成概念的先决条件之一,分类方法在认识和实践活动中有广泛的应用。例如生物学中的分类范畴典型体现了类型分化 |
| 关 键 词： | 类型理论 程序设计 数学 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |