TY  - RPRT
TI  - Measure Construction by Extension in Dependent Type Theory with Application to Integration
AU  - Reynald Affeldt
AU  - Cyril Cohen
PY  - 2023
DO  - 10.1007/s10817-023-09671-5
UR  - https://arxiv.org/abs/2209.02345
ID  - 2209.02345
ER  -