“PROBABILITY FORMALIZATION IN TYPE THEORY: BRIDGING THEORY AND APPLICATION ”, ijms, vol. 4, no. 01, pp. 10–14, Jul. 2024, Accessed: Mar. 12, 2026. [Online]. Available: https://www.academicpublishers.org/journals/index.php/ijmse/article/view/968