云南高校图书馆联盟文献共享服务平台- Λ演算

Λ演算: 作品数：10被引量：21H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：江南何炎祥李清安宋国新丁志义更多>>; 相关机构：南京大学上海交通大学武汉大学湖北工业大学更多>>; 相关期刊：《福州大学学报（自然科学版）》《小型微型计算机系统》《程序员》《语数外学习（高中版）（下）》更多>>; 相关基金：国家自然科学基金博士科研启动基金国家教育部博士点基金国家高技术研究发展计划更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

递归函数的π可定义性及其实现研究被引量：1: 《小型微型计算机系统》2005年第10期1749-1753,共5页颜锋陈韬略韩婷婷吕建; 国家重点基础研究发展规划"九七三"项目(2002CB312002)资助国家自然科学基金(60273034)资助国家"八六三"项目(2002AA116010)资助江苏省自然科学基金(BK2002203;BK2002409)资助.; 并发计算模型是计算机科学研究的重要问题之一．π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链接互相交互．与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力．正如λ演算能够描...; 关键词：Π演算 Λ演算 π可定义性递归函数