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