Sequentiality vs. concurrency in games and logic
Sequentiality vs. concurrency in games and logic
复制标题
游戏和逻辑中的顺序性与并发性
DOI：
--
复制
发表时间：
2003
影响因子：
0.5
通讯作者：
S. Abramsky
中科院分区：
文献类型：
--
作者：
S. Abramsky
顺序性/并发性的区别和语义的证明之间的连接进行了研究，特别是游戏和线性逻辑。
Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.