T007599　形式语义学基础与形式说明

---

屈延文编著。

科学出版社1989年12月版。57．2万字。共10章，介绍指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如Curry的组合逻辑，Martin－L?f的直觉主义数学的讨论都是现代计算机理论较重要的基础内容。是国家教委计算机软件专业教材编委会推荐教材之一。配有大量程序实例和习题。