TY - RPRT TI - Generators and Bases for Monadic Closures AU - Stefan Zetzsche AU - Alexandra Silva AU - Matteo Sammartino PY - 2023 UR - https://arxiv.org/abs/2010.10223 ID - 2010.10223 ER -