The construction of the effectful category of sessions over a monoidal category Thesis - Monoidal Context Theory
