Programming Research Group
Research Report RR-01-08
Sequentiality vs. concurrency in games and logic
Samson Abramsky
April 2001, 35pp.
Abstract
Connections between the sequentiality/concurrency distinction and the
semantics of proofs are investigated, with particular reference to
games and Linear Logic.
This paper is available as a 139,346 bytes
gzipped PostScript file.