Λ演算相关论文
本文阐述一个基于类型系统编译器的设计和构造。基于类型系统的编译器使用了基于二阶多态λ演算的中间语言，并且对基本的类型系统......
中文信息处理技术在当代有广泛的应用。随着互联网和计算机应用技术的快速发展,大量数据向中文信息检索、处理提出新的课题和需求......
类型系统能检出合法程序的语义错误，可以缩短调试时间，在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子......
并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链......
π演算是由Milner、Parrow和Walker基于CCS演算提出的能够描述并发计算的模型。它是目前最重要的进程演算,因此其它模型与它之间的......
