## 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: | 15 - 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}

}

### OpenURL

### Abstract

Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.