ANA
GIL LUEZAS
Researcher to 2021
Department: Sistemas Informáticos y Computación
Faculty: Informática
Area: Computer Languages and Systems
Doctor by the Universidad Complutense de Madrid with the thesis Una lógica no estándar admisible para programas funcionales 1990. Supervised by Dr. María Teresa Hortala González.