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