约瑟夫·斯托伊（Joseph E.Stoy）。 指称语义：编程语言理论的Scott Strachey方法。（第一本平装版）。 （英语） Zbl 0503.68059号 麻省理工学院计算机科学新闻系列，1。马萨诸塞州剑桥市；伦敦：麻省理工学院出版社。三十一、 414页，8.75英镑（1981年）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4个 +5 显示扫描页面 引用于3评论引用于129文件 MSC公司： 68问题55 计算理论中的语义学 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 03B40型 组合逻辑与lambda演算 关键词：计算机科学新闻系列，1。马萨诸塞州剑桥;伦敦：麻省理工学院出版社。三十一、 414 p.磅8.75（1981）;指称语义学;自反域;λ演算;顺序程序设计语言 PDF格式BibTeX公司 XML格式