research

Sequentiality vs. Concurrency in Games and Logic

Authors
Publication date
30 November 2011
Publisher
'Cambridge University Press (CUP)'
Doi
    View on arXiv

    Abstract

    Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.Comment: 35 pages, appeared in Mathematical Structures in Computer Scienc

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      Last time updated on 01/04/2019