Combinator演算族的π演算语义

• 作者: 刘磊 张红
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: π演算 Combinator演算族 SKI演算 语义
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 计算机科学
• 页码范围: 391-396
• 页数: 6页
• 分类号: TP311
• 字数: 2462字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2006.03.017

摘要

以SKI演算作为Combinator演算族的代表, 通过形式化的手段给出了SKI演算的π演算语义;通过一个实例验证了所论方法的正确性. 所给出的转换方法证明了π演算的表达能力: π演算为图灵完备的. 由于高阶函数式语言与Combinator演算族之间存在着自然的转换, 所给的转换思想不仅为在π演算的理论框架下研究Combinator演算族提供了基础, 也为探讨高阶函数式语言的表示和实现问题提供了新途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	张红	吉林大学计算机科学与技术学院	65	370	9.0	18.0