泛函程序设计语言FFP的γω演算语义

一、前言γω演算有希望成为泛函程序设计语言(至少,对于不带类型的)最一般的语义学理论基础。本文为形式泛函程序设计语言FFP奠定γω演算语义,从而也为γω演算开发了一种应用。文中还着重讨论了FFP语言中的元合成法则,并提出了一般性元合成法则(generalmetacompositionrule,它区别于广义元合成法则)。