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