λ演算相关论文
本文阐述一个基于类型系统编译器的设计和构造。基于类型系统的编译器使用了基于二阶多态λ演算的中间语言，并且对基本的类型系统......
中文信息处理技术在当代有广泛的应用。随着互联网和计算机应用技术的快速发展,大量数据向中文信息检索、处理提出新的课题和需求......
计算机科学史的研究忽略了计算机技术细节,根植于可计算理论的逻辑基础。可计算理论是计算机科学发展的基础核心,逻辑与工程技术的......
现代集成电路设计不但是一项软件工程,而且是一项证明工程.不断增长的集成电路复杂性迫使各芯片公司引入形式化方法进行芯片正确性......
该文讨论数据类型上的计算。由于λ演算是一种计算模型，作者用λ项去编码数据类型以及去计算它们，因此，用λ演算刻划和反映了一般数据......
<正> 1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代......
类型系统能检出合法程序的语义错误，可以缩短调试时间，在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子......
作者研究λ演算中第二不动点的性质，首先关于第二不动点的３个例题之间的关系且证明了这们，然后为第二不动点组合子给以一个充分条件且......
函数式编程是种编程范型，将计算机运算视为函数的计算。函数编程语言最重要的基础是λ演算（Lambda Calculus）。而且λ演算的函数可以......
并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链......
在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，......
ＡＢＳＴＲＡＣＴ，Ｃ－Ｔ－ＡＢＳ是把λ表达式转换成ＳＫＩ表达式的抽象算法，是函数式语言实现的理论基础。本文从λ演算，ＳＫＩ演算的基本理论出发，对这两个算法进行了理论推导及......
π演算是由Milner、Parrow和Walker基于CCS演算提出的能够描述并发计算的模型。它是目前最重要的进程演算,因此其它模型与它之间的......
