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