Teoría de Tipos Dependientes: Una primera aproximación. (2023). Pesquimat, 26(1), 71-87. https://doi.org/10.15381/pesquimat.v26i1.25523