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.

35 pages, appeared in Mathematical Structures in Computer Science

Cited by in corpus (5)

• Resource modalities in game semantics
• Fully Abstract Game Semantics for Actors
• Focusing in Asynchronous Games
• Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
• A Process Algebra for Games