λ-演算相关论文
人类发展的历史,就是解决问题的历史。计算机的出现,加快了人类解决问题的速度,也带来了与之相对应的问题。在一些反复出现的问题......
λ演算是一个把函数当做方程式的理论,是一个把函数当做表达式操作的系统。它与可计算性、计算机科学、逻辑及数学等都有存在一定......
介绍了一种带有Agent移动的分布计算形式化语言——资源域语言.与分布移动计算中的同类工作相比较,它没有采用基于π-演算进行扩充......
该文给出D∞的一个基本投射不等式．它在文[1]证明D∞是一个外延λ-模型时的地位是重要的，但文[1]将它误认为一个等式的多次应用．......
考虑组合逻辑形式系统CLξw的外延性问题.由于在标准转换的意义下形式系统CLξw弱于形式系统λβ和λβη,因此采用三种方式对形式......
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算......
