Teoría de Tipos Dependientes: Una primera aproximación. Pesquimat [Internet]. 2023 Jun. 30 [cited 2024 May 19];26(1):71-87. Available from: https://revistasinvestigacion.unmsm.edu.pe/index.php/matema/article/view/25523