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