TY - RPRT TI - The Central Valuations Monad AU - Xiaodong Jia AU - Michael Mislove AU - Vladimir Zamdzhiev PY - 2021 DO - 10.4230/lipics.calco.2021.18 UR - https://arxiv.org/abs/2111.10873 ID - 2111.10873 ER -