对话博弈的抽象机
计算机科学中的逻辑
2007-06-19 v1
摘要
抽象 Boehm 树的概念作为博弈论语义研究的操作导向提炼而兴起，并已在两篇论文中得到探讨。本文重新审视了这一概念，提供了更多的句法支持及更多示例（如按值求值），以阐明底层计算装置的通用性。文中建立了抽象 Boehm 树各种求值机制表述之间的精确对应关系。
引用
@article{arxiv.0706.2544,
title = {Abstract machines for dialogue games},
author = {Pierre-Louis Curien and Hugo Herbelin},
journal= {arXiv preprint arXiv:0706.2544},
year = {2007}
}