TY - RPRT TI - Lebesgue integration on $σ$-locales: simple functions AU - Raquel Bernardes PY - 2024 UR - https://arxiv.org/abs/2408.13911 ID - 2408.13911 ER -