Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity
复制标题
非确定性策略的探索函数，直至较低的双相似性
DOI：
10.1016/j.entcs.2009.07.098
复制
发表时间：
2009
影响因子：
--
通讯作者：
Levy P
中科院分区：
文献类型：
--
作者：
Levy P
我们考虑一个没有函数类型的类型化λ微积分，只有交替的和和和积类型，因此封闭项表示策略。我们加入了不确定性，并考虑了低（即发散不敏感）双相似性的策略。我们研究了这样一个问题：什么时候策略函数可以由一个开放项定义（具有足够大的不确定性）？答案是：当它是“探索性的”。这是一种迭代连续性性质，协归纳定义，在有限类型之间的函数中是可判定的。特别是，在可数不确定性策略之间的任何探索函数都可以用连续不确定性项来定义。
We consider a typed lambda-calculus with no function types, only alternating sum and product types, so that closed terms represent strategies. We add nondeterminism and consider strategies up to lower (i.e. divergence-insensitive) bisimilarity. We investigate the question: when is a function on strategies definable by an open term (with sufficiently large nondeterminism)? The answer is: when it is “exploratory”. This is a kind of iterated continuity property, coinductively defined, that is decidable in the case of a function between finite types. In particular, any exploratory function between countably nondeterministic strategies is definable by a continuum nondeterministic term.
登录
查看更多内容
惰性 λ−微积分
DOI：
--
发表时间：
1990
期刊：
影响因子：
--
作者：
S. Abramsky
通讯作者：
S. Abramsky
函数式编程的研究课题
DOI：
--
发表时间：
1990
期刊：
影响因子：
--
作者：
D. Turner
通讯作者：
D. Turner
无限痕量等价
DOI：
10.1016/j.apal.2007.10.007
发表时间：
2006
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
P. Levy
通讯作者：
P. Levy
具有递归类型、并行或和 ∃ 的 PCF 普适性定理
影响因子：
0.5
作者：
T. Streicher
通讯作者：
T. Streicher
有限 PCF 不可判定
DOI：
10.1016/s0304-3975(00)00194-8
发表时间：
2001
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
R. Loader
通讯作者：
R. Loader