@misc{indiciaefb202b3ebcf0,
  title = {Logic of computational semi-effects and categorical gluing for equivariant functors},
  author = {Yuichi Nishiwaki and Toshiya Asai},
  year = {2020},
  url = {https://arxiv.org/abs/2007.04621},
  note = {Source identifier: 2007.04621}
}