首页 | 本学科首页   官方微博 | 高级检索  
     

带类型λ—演算
引用本文:杨祥金. 带类型λ—演算[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 维普 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号