节点文献

带类型λ-演算

Lambda Calculus with Type

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 杨祥金；

【Author】 Yang Xiangjin

【机构】 东南大学计算机系 南京 210018；

【摘要】 <正>一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待

【Abstract】 This paper described the fundation of LAMBDA calculus with type and its application in strong type programming language.

【关键词】 A-calculus with type； Polymorphic type.Natural semantics.；
【Key words】 A-calculus with type； Polymorphic type.Natural semantics.；
【基金】 国家自然科学基金
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,1994年06期
  • 【分类号】TP301
  • 【下载频次】99
打印本页
节点文献中：