摘要
一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.
This paper described the fundation of LAMBDA calculus with type and its application in strong type programming language.
出处
《计算机科学》
CSCD
北大核心
1994年第6期7-10,共4页
Computer Science
基金
国家自然科学基金
关键词
λ-演算
程序语言
编译程序
A-calculus with type,Polymorphic type.Natural semantics.
