Département: Sistemas Informáticos y Computación

Faculté: Informática

Domaine: Lenguajes y Sistemas Informáticos

Docteure à l Universidad Complutense de Madrid avec la thèse Una lógica no estándar admisible para programas funcionales 1990. Dirigée par Dra. María Teresa Hortala González.