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…