Sequentiality vs. Concurrency in Games and Logic (2001)
Cached
Download Links
- [web.comlab.ox.ac.uk]
- [ftp.comlab.ox.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Samson Abramsky
| Venue: | Math. Structures Comput. Sci |
| Citations: | 13 - 0 self |
BibTeX
@ARTICLE{Abramsky01sequentialityvs.,
author = {Samson Abramsky},
title = {Sequentiality vs. Concurrency in Games and Logic},
journal = {Math. Structures Comput. Sci},
year = {2001},
volume = {13},
pages = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.
