effectful category of sessions over a symmetric monoidal category

Last updated Mar 12, 2024

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

• Thesis - Monoidal Context Theory