Departamento: Sistemas Informáticos y Computación

Facultad: Informática

Área: Linguaxes e Sistemas Informáticos

Doutora pola Universidad Complutense de Madrid coa tese Una lógica no estándar admisible para programas funcionales 1990. Dirixida por Dra. María Teresa Hortala González.