“PROBABILITY FORMALIZATION IN TYPE THEORY: BRIDGING THEORY AND APPLICATION ”. International Journal of Mathematics and Statistics, vol. 4, no. 01, July 2024, pp. 10-14, https://www.academicpublishers.org/journals/index.php/ijmse/article/view/968.