安德鲁·M·皮茨。（编辑）;彼得·戴比杰（编辑） 计算的语义和逻辑。1995年9月，英国剑桥艾萨克·牛顿数学科学研究所暑期学校。 （英语） Zbl 0894.00050号 牛顿研究所出版物14.剑桥：剑桥大学出版社（ISBN 0-521-58057-9/hbk）。第361页。(1997). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：萨姆森·艾布拉姆斯基，交互语义：游戏语义介绍，1-31[Zbl 0938.91500]可口、蒂埃里，经典逻辑的计算内容，33-78[Zbl 0916.03035号]马丁·霍夫曼，依赖类型的语法和语义，79-130[Zbl 0919.68083号]马丁·海兰德，游戏语义，131-184[兹伯利0919.68084]尤金尼奥·莫吉，元语言和应用，185-239[Zbl 0919.68085号]安德鲁·皮特斯，基于操作的程序等效理论，241-298[Zbl 0919.68086号]温克尔，格林；尼尔森，莫根斯，并发类别，299-354[Zbl 0919.68046号] 引用于2文件 MSC公司： 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 68问题55 计算理论中的语义学 关键词：剑桥（英国）;暑期学校;诉讼;语义学;逻辑;计算 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Pitts}（编辑）和\textit{P.Dybjer}（主编），计算的语义和逻辑。1995年9月，英国剑桥艾萨克·牛顿数学科学研究所暑期学校。剑桥：剑桥大学出版社（1997；Zbl 0894.00050）