In asynchronous games, Melli{\`e}s proved that innocent strategies are positional: their behaviour only depends on the position, not the temporal order used to reach it. This insightful result shaped our understanding of the link between dynamic (i.e. game) and static (i.e. relational) semantics. In this paper, we investigate the positionality of innocent strategies in the traditional setting of Hyland-Ong-Nickau-Coquand pointer games. We show that though innocent strategies are not positional, total finite innocent strategies still enjoy a key consequence of positionality, namely positional injectivity: they are entirely determined by their positions. Unfortunately, this does not hold in general: we show a counterexample if finiteness and totality are lifted. For finite partial strategies we leave the problem open; we show however the partial result that two strategies with the same positions must have the same P-views of maximal length.

中文翻译：

---

无辜策略的位置内含性

在异步游戏中，Melli {\`e} s证明了无辜策略是位置性的：它们的行为仅取决于位置，而不取决于到达位置的时间顺序。这一有见地的结果使我们对动态（即游戏）和静态（即关系）语义之间的联系有了更深入的了解。在本文中，我们研究了传统策略在Hyland-Ong-Nickau-Coquand指针游戏的传统环境中的位置。我们证明，尽管无辜策略不是位置策略，但总的有限无辜策略仍然享有位置性的关键结果，即位置注入性：它们完全由其位置决定。不幸的是，这通常并不成立：如果提升有限性和整体性，我们将展示一个反例。对于有限的局部策略，我们将问题留待解决。