Sequentiality vs. Concurrency in Games and Logic
Logic in Computer Science
2011-12-01 v1 Logic
Quantum Physics
Abstract
Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.
Keywords
Cite
@article{arxiv.1111.7159,
title = {Sequentiality vs. Concurrency in Games and Logic},
author = {Samson Abramsky},
journal= {arXiv preprint arXiv:1111.7159},
year = {2011}
}
Comments
35 pages, appeared in Mathematical Structures in Computer Science