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