%0 Journal Article
%T 泛函程序设计语言FFP的γω演算语义
%A 江明德
%J 科学通报
%P 1671-1671
%D 1989
%X 一、前言γω演算有希望成为泛函程序设计语言(至少,对于不带类型的)最一般的语义学理论基础。本文为形式泛函程序设计语言FFP奠定γω演算语义,从而也为γω演算开发了一种应用。文中还着重讨论了FFP语言中的元合成法则,并提出了一般性元合成法则(generalmetacompositionrule,它区别于广义元合成法则)。
%K 泛函程序设计语言FFP
%K γω演算
%K 元合成法则
%U http://csb.scichina.com:8080/CN/abstract/abstract359454.shtml