吉姆·莱尔德;朱利奥·曼佐内托;盖·麦库斯克 构建差异类别和解构游戏类别。 (英语) Zbl 1269.03062号 Inf.计算。 222, 247-264 (2013). 摘要:不同类别由引入R.F.布鲁特,J.R.B.科克特和R.A.G.西利[数学结构计算科学.16,第6期,1049–1083(2006;Zbl 1115.03092号)]明确地公理化T.埃尔哈德和雷格尼尔的句法微分算子[Theor.Comput.Sci.309,No.1-3,1-41(2003;Zbl 1070.68020号)]. 我们提出了一个抽象结构,它采用对称单体范畴并产生一个微分范畴,并展示了这种结构如何应用于游戏的范畴。在一个例子中,我们恢复了以前用于给出非确定性命令式语言的完全抽象模型的类别。该结构揭示了该模型中已经存在的差分结构,并显示了差分组合符如何在命令式语言中编码。第二个例子对应于一个新的笛卡尔微分博弈范畴。在这个范畴中,我们给出了一个简单类型的资源演算模型resource PCF,并证明了它具有有限可定义性。与基于的语义的比较A.布奇亚雷利,T.埃尔哈德和G.曼佐内托的关系模型[“简单类型资源计算的分类模型”,Electron.Notes Theor.Comput.Sci.265213–230(2010;doi:10.1016/j.entcs.2010.08.013)]揭示了后者也具有这种性质,并且是完全抽象的。 引用于2评论引用于6文件 MSC公司: 03G30型 分类逻辑,拓扑 03B70号 计算机科学中的逻辑 18日第15天 闭范畴(闭单体和笛卡尔闭范畴等) 91A80型 博弈论的应用 关键词:微分范畴;微分组合子;对称单体范畴;简单型资源演算;有限可定义性;博弈语义;完全抽象 引文:Zbl 1115.03092号;Zbl 1070.68020号 PDF格式BibTeX公司 XML格式引用 \textit{J.Laird}等人,《信息计算》。2222247--264(2013;Zbl 1269.03062) 全文: 内政部