Logic of computational semi-effects and categorical gluing for equivariant functors

Yuichi Nishiwaki, Toshiya Asai

In this paper, we revisit Moggi's celebrated calculus of computational effects from the perspective of logic of monoidal action (actegory). Our development takes the following step…