再论函数式程序設计語言的合成邏輯语义学 |
| |
引用本文: | 江明德.再论函数式程序設计語言的合成邏輯语义学[J].电子科技大学学报(社会科学版),1985(2). |
| |
作者姓名: | 江明德 |
| |
摘 要: | 本文继文献(1)之后,在合成逻辑这一数学基础上,再次探讨函数式程序设计(FP)语言的语义学。FP语言被处理成一种多层次结构的合成逻辑。第一层(基础层)是Curry的合成逻辑。在此层之上,逐次扩展而构造成相继较高的各层。第二层是这样的合成逻辑,它就是所谓的SK归约机。第三层逻辑可说是一种扩充的SK归约机。最后,在第三层的基础上构造出第四层,它就是FP语言。
|
本文献已被 CNKI 等数据库收录! |
|