合成邏辑TAC中合子的生成  

AUTOMATIC GENERATION OF COMBINATORS IN TAC OF COMBINATORY LOGIC

作　　者：赵晓俠 

机构地区：[1]电子科技大学计算机系

出　　处：《电子科技大学学报》1989年第1期103-106,共4页Journal of University of Electronic Science and Technology of China

摘　　要：近年来,软件的形式开发越来越受重视。本文设计了一个形式系统,它能实现合成逻辑TAC中合子的自动生成。Formal software development is a very important field of computer science these days. With the idea of Ref. [1,2], this paper presents a formal system, which can implement automatic generation of combinators in TAC of combinatory logic.

关 键 词：合成逻辑 合子 形式系统 软件 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]