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