λ-演算相关论文
该文探讨了并发计算模型__χ-演算的逻辑模型.给出了χ-演算的一个初步逻辑模型.分别定义了四组完整的逻辑连接词,并且对应地给出......
人类发展的历史,就是解决问题的历史。计算机的出现,加快了人类解决问题的速度,也带来了与之相对应的问题。在一些反复出现的问题......
λ演算是一个把函数当做方程式的理论,是一个把函数当做表达式操作的系统。它与可计算性、计算机科学、逻辑及数学等都有存在一定......
该文试图构建一个以语言信息的动态理论为框架基础,以λ-演算为主要工具的上容的语义学的框架,提供一套自然语言语义的殂式化描述......
本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用......
一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程......
目前,自然语言处理已经从句法、语法层面走向轻语义层面。对于汉语陈述句的处理,传统的方法是采用Lambek演算来进行处理。但是传统......
介绍了一种带有Agent移动的分布计算形式化语言——资源域语言.与分布移动计算中的同类工作相比较,它没有采用基于π-演算进行扩充......
该文给出D∞的一个基本投射不等式．它在文[1]证明D∞是一个外延λ-模型时的地位是重要的，但文[1]将它误认为一个等式的多次应用．......
考虑组合逻辑形式系统CLξw的外延性问题.由于在标准转换的意义下形式系统CLξw弱于形式系统λβ和λβη,因此采用三种方式对形式......
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算......
