The Anatomy of Innocence
The Anatomy of Innocence
复制标题
纯真的解剖
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
Russell Harmer
中科院分区：
文献类型：
--
作者：
V. Danos;Russell Harmer
我们揭示了一个对称结构的无辜的战略，引入刚性战略，一个概念的双重括号策略的ho/n游戏模型。本文证明了一个关于扩展Bohm树的简单类型语言的一般无辜策略的直接可定义性定理，它赋予了call-byname中刚性的操作意义。构造了一个将单纯策略分解为刚性策略的因式分解，并以某种形式的条件作为预言。
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definability theorem of general innocent strategies with respect to a simply typed language of extended Bohm trees, which gives an operational meaning to rigidity in call-byname. A corresponding factorization of innocent strategies into rigid ones with some form of conditional as an oracle is constructed.