Teoría de Tipos Dependientes: Una primera aproximación. Pesquimat. 2023;26(1):71-87. doi:10.15381/pesquimat.v26i1.25523