PROBABILITY FORMALIZATION IN TYPE THEORY: BRIDGING THEORY AND APPLICATION . ijms. 2024;4(01):10-14. Accessed October 30, 2025. https://www.academicpublishers.org/journals/index.php/ijmse/article/view/968