TY  - RPRT
TI  - Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
AU  - TItouan Carette
AU  - Louis Lemonnier
AU  - Vladimir Zamdzhiev
PY  - 2025
UR  - https://arxiv.org/abs/2207.09190
ID  - 2207.09190
ER  -