research
∙
04/21/2023
Strong pseudomonads and premonoidal bicategories
Strong monads and premonoidal categories play a central role in clarifyi...
share
research
∙
03/08/2023
Stabilized profunctors and stable species of structures
We introduce a new bicategorical model of linear logic based on profunct...
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
∙
12/15/2022
Bi-invariance for Uniform Strategies on Event Structures
A recurring problem in game semantics is to enforce uniformity in strate...
research
∙
12/14/2022
Affine Monads and Lazy Structures for Bayesian Programming
We show that streams and lazy data structures are a natural idiom for pr...
research
∙
07/07/2021
The Quantitative Collapse of Concurrent Games with Symmetry
We explore links between the thin concurrent games of Castellan, Clairam...
research
∙
04/08/2020