Quick Navigation

Overview Topics Abstract Importance Paper Tools References Reactions Discussion Publication Related

Topics

Benchmarking Verification Validation Open Quantum Systems Decoherence Quantum Foundations Quantum Complexity Computational Theory

Sequentiality vs. Concurrency in Games and Logic

arXiv

Authors: Samson Abramsky

Year

2011

Paper ID

29468

Status

Preprint

Abstract Read

~2 min

Abstract Words

Citations

N/A

Abstract

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

Why This Paper Matters

This paper contributes to the Quantum Foundations research area in the Quantum Articles archive.
It adds a 2011 reference point for readers tracking recent quantum research.
Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.

Paper Tools

Become a member to use research tools

Sign in to open papers, visit source links, share, cite, compare, copy DOI links, request category corrections, and build your reading list.

Become a member Sign in

Show Paper arXiv Publisher Share Cite This Paper Copy URL Compare Copy DOI Add to Reading List Category Correction Request

References & Citation Signals

[1] DOI https://doi.org/arXiv:1111.7159 [2] arXiv https://arxiv.org/abs/1111.7159 [3] Publisher https://arxiv.org/abs/1111.7159

Local Citation Graph (Related-Paper Links)

External citation index: OpenAlex citation signal

Community Reactions

Quick sentiment from readers on this paper.

Score: 0

Likes: 0 Dislikes: 0

Discussion & Reviews (Moderated)

Average Rating: 0.0 / 5 (0 ratings)

No written reviews yet.