effectful category of sessions over a symmetric monoidal category

Last updated Oct 16, 2024

The construction of the effectful category of sessions over a monoidal category

• Thesis - Monoidal Context Theory