S. Abramsky

activity

19982026

most citedThe Sheaf-Theoretic Structure Of Non-Locality and Contextuality

421 citations · 1.5k across the 77 of their papers we have counts for

collaborators

Showing 2022 · cs.LOShow all

3 papers · 2 filters

cs.LO2022

Notes on presheaf representations of strategies and cohomological refinements of $k$ -consistency and $k$ -equivalence

Samson Abramsky

In this note, we show how positional strategies for $k$ -pebble games have a natural representation as certain presheaves. These representations correspond exactly to the sheaf-theo…

cs.LO2022

Robin Milner's Work on Concurrency: An Appreciation

Samson Abramsky

We give a short appreciation of Robin Milner's seminal contributions to the theory of concurrency.

cs.LO2022

Structure and Power: an emerging landscape

Samson Abramsky

In this paper, we give an overview of some recent work on applying tools from category theory in finite model theory, descriptive complexity, constraint satisfaction, and combinato…

Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence

Robin Milner's Work on Concurrency: An Appreciation

Structure and Power: an emerging landscape

Notes on presheaf representations of strategies and cohomological refinements of $k$ -consistency and $k$ -equivalence