| 带类型λ—演算 |
| |
| 引用本文： | 杨祥金. 带类型λ—演算[J]. 计算机科学, 1994, 21(6): 7-10 |
| |
| 作者姓名： | 杨祥金 |
| |
| 作者单位： | 东南大学计算机系 南京 |
| |
| 摘 要： | 一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待
|
| 关 键 词： | λ－演算 程序语言 编译程序 |
Lambda Calculus with Type |
| |
| Yang Xiangjin. Lambda Calculus with Type[J]. Computer Science, 1994, 21(6): 7-10 |
| |
| Authors: | Yang Xiangjin |
| |
| Affiliation: | Yang Xiangjin |
| |
| Abstract: | This paper described the fundation of LAMBDA calculus with type and its application in strong type programming language. |
| |
| Keywords: | A-calculus with type Polymorphic type.Natural semantics. |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
