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