戴维·特纳;格林·温斯克尔 并发的名义域理论。 （英语） 兹比尔1257.68110 Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771546-560（2009）。 摘要：本文研究了一种使用FM（Fraenkel-Mostowski）集和名词集理论的思想将名称生成与语义理论联系起来的方法。通过在FM集合内开发并发的域理论，域理论继承了名称生成的类型和操作，基本上不会影响其原始的高阶特征。最初的领域理论有一种元语言HOPLA（高阶过程语言），因此它扩展为元语言Nominal HOPLA，具有名称生成功能（与早期语言new-HOPLA密切相关）。名义HOPLA具有操作语义和指称语义，这些语义通过稳健性和充分性结果相关联，同样在FM集合中执行。关于整个系列，请参见[Zbl 1175.68011号]. 引用于6文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03E75型 集合论的应用 68问题55 计算理论中的语义学 软件：新HOPLA;HOPLA公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Turner}和\textit{G.Winskel}，莱克特。注释计算。科学。5771546-560（2009年；兹比尔1257.68110） 全文： 内政部 参考文献： [1] Benton，N.、Bierman，G.、de Paiva，V.、Hyland，M.：线性lambda-calculus和范畴模型的重新审视。收录：Martini，S.、Börger，E.、Kleine Büning，H.、Jäger，G.、Richter，M.M.（编辑）CSL 1992。LNCS，第702卷，第61-84页。斯普林格，海德堡（1993）·Zbl 0840.03003号 ·doi:10.1007/3-540-56992-86 [2] Gabbay，M.J.：具有Alpha-E等效性的归纳定义理论。剑桥大学博士论文（2001年） [3] Gabbay，M.J.，Pitts，A.M.：使用变量绑定实现抽象语法的新方法。计算的形式方面13，341–363（2001）·Zbl 1001.68083号 ·doi:10.1007/s001650200016 [4] Nygaard，M.，Winskel，G.：并发领域理论。西奥。计算。科学。 316(1-3), 153–190 (2004) ·Zbl 1072.68062号 ·doi:10.1016/j.tcs.2004.01.029 [5] 特纳，D.C.：并发的名义域理论。剑桥大学博士论文（提交）（2008年），http://www.cl.cam.ac.uk/dct25/·Zbl 1257.68110号 [6] Winskel，G.：名称生成和线性。收录于：LICS 2005：第20届IEEE计算机科学逻辑研讨会论文集，美国华盛顿特区，第301-310页。IEEE计算机学会出版社，洛斯·阿拉米托斯（2005） [7] Winskel，G.，Larsen，K.G.：使用信息系统有效地求解递归域方程。扩展摘要：Springer计算机科学讲义，第173卷。完整版本：技术报告UCAM-CL-TR-51，剑桥大学计算机实验室（1984）·Zbl 0539.68019号 [8] Winskel，G.，Zappa Nardelli，F.：new-HOPLA：具有名称生成功能的高阶过程语言。In：程序。第三届IFIP TCS，第521–534页（2004年）·Zbl 1090.68074号 ·doi:10.7146/brics.v11i21.21846 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。