带变量FFP語言的遝輯基础

本文为Backus的FFP语言塑造了一种演算——Г演算,它与程序代数联合起来,实质上构成一种高级的合成逻辑。证实了“此合成逻辑与Curry的(低级的)合成逻辑是等价的”。Г演算,在理论上,为FFP语言奠定了数理逻辑基础。在实用上,它是“设计带变量的FFP语言的理论基础”。文中的Ω式就是一种带变量的FFP语言的雏型,它克服了Backus的FFP语言在?读性方面的缺陷。