“PROBABILITY FORMALIZATION IN TYPE THEORY: BRIDGING THEORY AND APPLICATION ”. International journal of mathematics and statistics 4, no. 01 (July 1, 2024): 10–14. Accessed October 30, 2025. https://www.academicpublishers.org/journals/index.php/ijmse/article/view/968.