PROBABILITY FORMALIZATION IN TYPE THEORY: BRIDGING THEORY AND APPLICATION . International journal of mathematics and statistics, [S. l.], v. 4, n. 01, p. 10–14, 2024. Disponível em: https://www.academicpublishers.org/journals/index.php/ijmse/article/view/968.. Acesso em: 30 oct. 2025.