research
∙
07/10/2023
Combining contextuality and causality: a game semantics approach
We develop an approach to combining contextuality with causality, which ...
share
research
∙
01/24/2023
Linear Arboreal Categories
Arboreal categories, introduced by Abramsky and Reggio, axiomatise categ...
research
∙
06/24/2022
Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence
In this note, we show how positional strategies for k-pebble games have ...
research
∙
06/18/2022
Robin Milner's Work on Concurrency: An Appreciation
We give a short appreciation of Robin Milner's seminal contributions to ...
research
∙
06/15/2022
Structure and Power: an emerging landscape
In this paper, we give an overview of some recent work on applying tools...
research
∙
05/13/2022
Discrete density comonads and graph parameters
Game comonads have brought forth a new approach to studying finite model...
research
∙
10/19/2021
Comonadic semantics for hybrid logic and bounded fragments
In recent work, comonads and associated structures have been used to ana...
research
∙
07/19/2021
On the Quantum-like Contextuality of Ambiguous Phrases
Language is contextual as meanings of words are dependent on their conte...
research
∙
02/16/2021
Arboreal Categories: An Axiomatic Theory of Resources
We introduce arboreal categories, which have an intrinsic process struct...
research
∙
11/07/2020
Contextuality: At the Borders of Paradox
Contextuality is a key feature of quantum mechanics. We present the shea...
research
∙
11/05/2020
The logic of contextuality
Contextuality is a key signature of quantum non-classicality, which has ...
research
∙
10/23/2020
Whither Semantics?
We discuss how mathematical semantics has evolved, and suggest some new ...
research
∙
10/23/2020
Classical logic, classical probability, and quantum mechanics
We give an overview and conceptual discussion of some of our results on ...
research
∙
10/13/2020
Relating Structure and Power: Extended Version
Combinatorial games are widely used in finite model theory, constraint s...
research
∙
08/25/2020
Comonadic semantics for guarded fragments
In previous work, Abramsky, Dawar and Wang (LiCS 2017) and Abramsky and ...
research
∙
04/22/2019
A comonadic view of simulation and quantum resources
We study simulation and quantum resources in the setting of the sheaf-th...
research
∙
06/23/2018