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