lambda演算相关论文
针对常见问答系统采用的以词法分析为基础的浅层语义模型难以有效挖掘用户问句深层语义的问题,本文立足于旅游问答应用领域,采用组......
本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养......
在lambda演算中,找到永不终止却有意义的lambda项,并讨论它的意义:任何可计算的函数都可能在它的求值过程中出现,且出现顺序受到求......
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言......
提出一种扩展的lambda演算方法并给出相应类型的系统.基于扩展的lambda演算可建立服务模型,采用形式化方法,将服务内部流程抽象为函数......
可穿戴理论已经在我们的生活中产生深远而普遍的影响。在本文中,我们否定了IP语音的发展。住我们的研究中,我们提出了一种新的加密通......
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序......
本文对国外焦点研究的理论、方法和主要内容进行综述和评论,着重介绍和分析焦点研究中一些技术性较强的方面,诸如:句子的信息结构......
随着证明理论和定理证明器的不断发展与成熟,形式语义研究已经从传统的基于手工证明的研究进入到机器可处理的机械语义的研究。交互......