Olivos, E. (1991). Omisión de Tipos para Álgebras Parciales. CUBO, A Mathematical Journal, (7), 22–32. Retrieved from https://www.perspectivasdelacomunicacion.cl/ojs/index.php/cubo/article/view/1826