Olivos, E. Omisión De Tipos Para Álgebras Parciales. CUBO 1991, 22–32.