|
|||||
|
|
| 带类型λ-演算的扩充 | |
| 引用本文： | 王美清.带类型λ-演算的扩充[J].福州大学学报(自然科学版),1993(3):8-15. |
| 作者姓名： | 王美清 |
| 作者单位： | 福州大学数学系 |
| 摘 要： | 在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，给出带类型λｃ－演算的逻辑系统，然后考虑它的指称语义． |
| 关 键 词： | λ_c-演算 类型 指称语义 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《福州大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《福州大学学报(自然科学版)》下载免费的PDF全文 | |