γω演算——一种高级合成逻辑

被引：13

作者：

江明德

机构：

[1] 成都电讯工程学院

来源：

计算机学报 | 1988年 / 05期

关键词：

定义; 变元; 函数; 归约; 逻辑; 范式; 编程语言;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

本文创建了γω演算,它在语言层次方面远高于curry合成逻辑(简称C逻辑),但在理论上依然奠基在C逻辑之上.这是一种高级的合成逻辑,它不失C逻辑的简洁性,更重要的,它可直接地用作编程语言,或者间接地用作各种各样“带糖衣”的函数编程语言、作用式编程语言和归约编程语言的语义理论基础.文中论述了γω演算的理论及其与C逻辑的内在联系.

引用

页码：286 / 293

页数：8