博弈语义与回溯的几何：交互的复杂性新分析
逻辑
2016-08-12 v3 计算机科学中的逻辑
摘要
我们给出了关于 Coquand 与 Hyland-Ong 博弈语义的抽象复杂性结果，这将为一阶切消解、归一化、展开树之间的交互以及博弈语义所能建模和应用的任何其他对话过程给出新的长度界限。特别地，我们提供了一种新方法来界定可见策略之间交互的长度，并精确测量定义最坏情况复杂性的指数塔。我们的研究将旧估计平均改进了数个指数级。
引用
@article{arxiv.1511.06260,
title = {Game Semantics and the Geometry of Backtracking: a New Complexity Analysis of Interaction},
author = {Federico Aschieri},
journal= {arXiv preprint arXiv:1511.06260},
year = {2016}
}
备注
Final version