函数程序设计系统的英文

functional programming system

• 函数:    function
• 系统:    system
• 形式函数程序设计系统:    formal functional ...