2024. PROBABILITY FORMALIZATION IN TYPE THEORY: BRIDGING THEORY AND APPLICATION . International journal of mathematics and statistics. 4, 01 (Jul. 2024), 10–14.