“Teoría De Tipos Dependientes: Una Primera aproximación”. Pesquimat, vol. 26, no. 1, June 2023, pp. 71-87, https://doi.org/10.15381/pesquimat.v26i1.25523.