论FFP中ρ和μ两函数的合成逻辑本质

一、前言文献1]为函数程序设计语言FP奠定了合成逻辑基础,证实了“FP是一种高级的合成逻辑”。至于FFP与合成逻辑的关系,文献2]论述了“基本合成子I,S,K能够被定义成FFP中的泛函”。本文,从另一方面,论证“FFP中的表示函数ρ和语义函数μ可表示成合成逻辑中的合成子”,从而,揭示了ρ和μ的本质,也为FFP语言奠定了合成逻辑基础。将文献1]中的第四层逻辑(FP语言)与ρ和μ两合成子联合起来,就构成了FPP这一更高级合成逻辑。