Sequentiality vs. Concurrency in Games and Logic

Abstract

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