Olivos, E. (1991) “Omisión de Tipos para Álgebras Parciales”, CUBO, A Mathematical Journal, (7), pp. 22–32. Available at: https://cubo.ufro.cl/index.php/cubo/article/view/1826 (Accessed: 12 October 2025).