Hostname: page-component-74656f9884-2dmjx Total loading time: 0 Render date: 2026-11-09T17:57:22.873Z Has data issue: false hasContentIssue false
  • English
  • Français

Sequentiality vs. concurrency in games and logic

Published online by Cambridge University Press:  31 July 2003

SAMSON ABRAMSKY
SAMSON ABRAMSKY
Affiliation:
Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. Email: samson@comlab.ox.ac.uk
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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

Information

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 13 , Issue 4 , August 2003 , pp. 531 - 565
Copyright
2003 Cambridge University Press