Olivos E. Omisión de Tipos para Álgebras Parciales. CUBO [Internet]. 1991 Dec. 1 [cited 2025 Oct. 12];(7):22–32. Available from: https://cubo.ufro.cl/index.php/cubo/article/view/1826