Departament: Sistemas Informáticos y Computación

Facultat: Informática

Àrea: Llenguatges i Sistemes Informàtics

Doctora per la Universidad Complutense de Madrid amb la tesi Una lógica no estándar admisible para programas funcionales 1990. Dirigida per Dra. María Teresa Hortala González.