PCF

PCF是什么意思？

全称：ProgramminglanguageofComputableFunctions

网络释义：可算函数编程语言