14 citations · 36 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Denotational reasoning for asynchronous multiparty session types
Dylan McDermott, Nobuko Yoshida
We provide the first denotational semantics for asynchronous multiparty session types with precise asynchronous subtyping. Our semantics enables us to reason about asynchronous mes…
math.CT2026
Presheaves and cocompletions in formal category theory
Nathanael Arkor, Dylan McDermott
We study the relationship between presheaf constructions and free cocompletions in the context of formal category theory, elucidating the coincidence between the two concepts in fa…