1 citations · 1 across the 2 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020★ 1 cited
Substructural Observed Communication Semantics
Ryan Kavanagh
Session-types specify communication protocols for communicating processes, and session-typed languages are often specified using substructural operational semantics given by multis…
math.CT2020
Parametrized Fixed Points on O-Categories and Applications to Session Types
Ryan Kavanagh
O-categories generalize categories of domains to provide just the structure required to compute fixed points of locally continuous functors. Parametrized fixed points are of partic…