TY  - RPRT
TI  - Logic of computational semi-effects and categorical gluing for equivariant functors
AU  - Yuichi Nishiwaki
AU  - Toshiya Asai
PY  - 2020
UR  - https://arxiv.org/abs/2007.04621
ID  - 2007.04621
ER  -