无害策略是博弈上的层：确定性、非确定性和概率性无害
编程语言
2014-09-10 v1
摘要
尽管 HO/N 博弈对于 PCF 是完全抽象的，但传统的无害概念（这些博弈的基础）对于非确定性和概率分支等语言特征并不令人满意，因为存在并非无害的无状态项。基于具有嵌入作为态射的 P-可见博弈范畴，我们提出了一种自然的推广，即将无害策略视为（博弈位点上的）层，呼应了 Hirschowitz 和 Pous 的口号。我们的方法在确定性、非确定性和概率分支这三种情况下都产生了完全完备的博弈模型。据我们所知，在后两种情况下，我们的构造是首个无需因子分解的构造。
引用
@article{arxiv.1409.2764,
title = {Innocent Strategies are Sheaves over Plays---Deterministic, Non-deterministic and Probabilistic Innocence},
author = {Takeshi Tsukada and C. -H. Luke Ong},
journal= {arXiv preprint arXiv:1409.2764},
year = {2014}
}