将论文标题翻译成中文：基于范畴代数的游戏语义扎实基础
摘要：关于代数效应和游戏语义之间的形式连接：一种在编程语言语义学中应用广泛的组合软件验证中的两个重要研究方向。具体来说，计算可能的副作用的代数签名可以被看作是一种游戏，而这个游戏的策略构成了关于完全偏序范畴（cpos）中该签名的自由代数。因此，策略提供了对带有未解释副作用的计算的方便模型。特别地，游戏语义的操作特性在代数语境中得以保留，作为完全偏序（cpos）自函子的初始代数和终止余代数之间的巧合。相反，代数观点为游戏语义的策略构建提供了新的视角。策略模型可以重新阐述为部分策略树的理想补全（term algebra上的自由dcpos）。将该框架扩展到多排序的签名将使得这种构建对于大类的游戏都可以使用。
作者：J''er''emie Koenig (Yale University)
论文ID：2211.01841
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-11-04