TY  - RPRT
TI  - Measure theory over boolean toposes
AU  - Simon Henry
PY  - 2014
DO  - 10.1017/s0305004116000700
UR  - https://arxiv.org/abs/1411.1605
ID  - 1411.1605
ER  -