对话游戏的抽象机器
摘要：抽象Boehm树的概念作为对游戏语义理论的操作性概括而产生，并已在两篇论文中进行了研究。本文重新审视了这一概念，提供了更多的语法支持和更多的例子（如按值调用求值），以说明底层计算设备的普遍性。建立了抽象Boehm树评估机制各种表述之间的准确对应关系。
作者：Pierre-Louis Curien (PPS), Hugo Herbelin (INRIA Futurs)
论文ID：0706.2544
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-06-19