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