论文标题
事件结构的统一策略的双变量
Bi-invariance for Uniform Strategies on Event Structures
论文作者
论文摘要
游戏语义中的一个反复出现的问题是在策略中执行统一性。在非正式的情况下，当玩家的行为不取决于对手选择的动作的特定索引时，策略是统一的。在游戏语义中，均匀性用于定义资源模式！，可以利用该语言的语言的语义来利用。 在本文中，我们为事件结构的策略提供了新的说明。这项工作的灵感来自于较旧的想法，因此相对于两个相互作用的小组行动，应将统一性表示为“双性变量”。我们探讨了双变量的代数基础，将此想法适应事件结构的语言，并在这种情况下定义了统一策略的一般概念。最后，我们重新审视了现有的统一方法，并展示了这是我们建筑的一种特殊情况。
A recurring problem in game semantics is to enforce uniformity in strategies. Informally, a strategy is uniform when the Player's behaviour does not depend on the particular indexing of moves chosen by the Opponent. In game semantics, uniformity is used to define a resource modality !, that can be exploited for the semantics of programming languages. In this paper we give a new account of uniformity for strategies on event structures. This work is inspired by an older idea due to Melliès, that uniformity should be expressed as "bi-invariance" with respect to two interacting group actions. We explore the algebraic foundations of bi-invariance, adapt this idea to the language of event structures and define a general notion of uniform strategy in this context. Finally we revisit an existing approach to uniformity, and show how this arises as a special case of our constructions.
