research
∙
05/15/2023
Extensional Taylor Expansion
We introduce a calculus of extensional resource terms. These are resourc...
share
research
∙
02/09/2023
Strategies as Resource Terms, and their Categorical Semantics
As shown by Tsukada and Ong, normal (extensional) simply-typed resource ...
research
∙
02/02/2023
From Thin Concurrent Games to Generalized Species of Structures
Two families of denotational models have emerged from the semantic analy...
research
∙
01/27/2023
The Cartesian Closed Bicategory of Thin Spans of Groupoids
Recently, there has been growing interest in bicategorical models of pro...
research
∙
08/24/2021
The Mays and Musts of Concurrent Strategies
Concurrent strategies based on event structures are examined from the vi...
research
∙
07/07/2021
The Quantitative Collapse of Concurrent Games with Symmetry
We explore links between the thin concurrent games of Castellan, Clairam...
research
∙
05/06/2021
Positional Injectivity for Innocent Strategies
In asynchronous games, Melliès proved that innocent strategies are posit...
research
∙
03/29/2021
Disentangling Parallelism and Interference in Game Semantics
Game semantics is a denotational semantics presenting compositionally th...
research
∙
06/09/2020
Learning to Count up to Symmetry
In this paper we develop the theory of how to count, in thin concurrent ...
research
∙
04/01/2019