安德鲁·M·皮茨。 标称设置。计算机科学中的名称和对称。 （英语） Zbl 1297.68008号 剑桥理论计算机科学丛书57.剑桥：剑桥大学出版社（ISBN 978-1-107-01778-8/hbk；978-1-139-08467-3/电子书）。xiii，第276页。(2013). 这本书从严格和系统的角度讨论了原子（非结构化）名称在计算机科学中的使用。为此，（G）集理论得到了全面的发展，允许引入标称集的布尔拓扑（mathrm{Nom}），在这里，名称的新鲜度、名称抽象和轨道完整性等概念可以找到一个自然而严格的设置。此外，还与多年来在数学和计算机科学的复杂情况下严格使用上述概念的其他同方向部分尝试进行了精确比较。在这里，作者不怕使用范畴/拓扑理论提供的所有方法，旨在将他感兴趣的概念设定在适当的抽象程度。这样，几个重要的主题，特别是逻辑和指称语义学的主题，都被重新思考并置于一个新的视角。审核人：Anna Labella（罗马） 引用于1审查引用于81文件 MSC公司： 68-02 与计算机科学有关的研究博览会（专著、调查文章） 68甲15 程序设计语言理论 18对25 托波伊 18 C50 形式语言的范畴语义 68问题55 计算理论中的语义学 关键词：姓名;抽象名称;排列;新鲜度;名称抽象;轨道完整性 PDF格式BibTeX公司 XML格式引用 \textit｛A.M.Pitts｝，标称套数。计算机科学中的名称和对称。剑桥：剑桥大学出版社（2013；Zbl 1297.68008） 全文： 内政部