Arena 博弈语义中交互长度的估计
计算机科学中的逻辑
2011-12-15 v1
摘要
我们估计了 HO/N 博弈语义中策略之间交互的最大长度，其精神与 Schwichtenberg 和 Beckmann 关于简单类型 lambda 演算归约长度的工作一致。由于博弈语义的操作内容，此处给出的界同样适用于 lambda 项的头线性归约以及抽象机（PAM/KAM）对程序的执行，包括在存在非确定性或基础类型引用等计算效应的情况下。证明过程是从博弈模型中提取出一个关于自然数树的组合重写规则，随后可以独立于博弈语义或 lambda 演算对该规则进行分析。
引用
@article{arxiv.1112.3053,
title = {Estimation of the length of interactions in arena game semantics},
author = {Pierre Clairambault},
journal= {arXiv preprint arXiv:1112.3053},
year = {2011}
}
备注
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Saarbr\"ucken : Germany (2011)