PROBABILITY FORMALIZATION IN TYPE THEORY: BRIDGING THEORY AND APPLICATION . ijms [Internet]. 2024 Jul. 1 [cited 2025 Oct. 30];4(01):10-4. Available from: https://www.academicpublishers.org/journals/index.php/ijmse/article/view/968