博弈语义中的资源模态
范畴论
2007-05-23 v1 计算与语言
摘要
由于一种误导性的观念，即认为线性逻辑比博弈语义更基本，博弈语义中对资源的描述从未达到线性逻辑那样的简洁性和精确性。我们主张相反的观点：博弈语义在概念上比线性逻辑更基本。从这一修正的观点出发，我们设计了博弈语义中资源的范畴模型，并构建了一个 arenas 博弈模型，其中将通常的括号化概念扩展为多括号化，以捕捉各种资源策略：线性、仿射和指数型。
引用
@article{arxiv.0705.0462,
title = {Resource modalities in game semantics},
author = {Paul-André Melliès and Nicolas Tabareau},
journal= {arXiv preprint arXiv:0705.0462},
year = {2007}
}