Sequentiality vs. Concurrency in Games and Logic
  Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic. 
Samson Abramsky
cs.LO math.LO quant-ph