戈登·普洛金（编辑）;科林·斯特林（编辑）;托夫特，疯子（编辑） 证明、语言和互动。纪念罗宾·米尔纳的文章。 （英语） Zbl 0968.68018号 麻省理工学院计算机基础新闻系列。马萨诸塞州剑桥：麻省理工学院出版社。xiv，722 p.$70.00；48.95英镑/hbk（2000年）。 出版商描述：这本原创论文集反映了当前计算机科学研究的广度。罗宾·米尔纳（Robin Milner）是该领域的主要人物，他做出了许多基本贡献，尤其是在理论计算机科学、编程语言理论和函数式编程语言方面。继米尔纳的简要传记之后，这本书包括五个部分：语义基础、编程逻辑、编程语言、并发性和移动性。从高度抽象的概念到具有巨大实用价值的系统，这些片段一起传达了一个无缝的整体。 引用于1审查引用于72文件 MSC公司： 68甲15 编程语言理论 00B30型 费斯特施里夫滕 68-06 与计算机科学有关的会议记录、会议、收藏等 03B40型 组合逻辑与lambda演算 68甲18 函数编程和lambda演算 68问题55 计算理论中的语义学 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68吨15 定理证明（演绎、解析等）（MSC2010） 传记参考： 罗宾·米尔纳 PDF格式BibTeX公司 XML格式引用 \textit{G.Plotkin}（编辑）等，《证明、语言和交互》。纪念罗宾·米尔纳的文章。马萨诸塞州剑桥：麻省理工学院出版社（2000；Zbl 0968.68018）