ANA
GIL LUEZAS
Investigadora ata 2021
Tese doutoral
-
Una lógica no estándar admisible para programas funcionales 1990
Universidad Complutense de Madrid
Teses dirixidas (1)
-
Programación lógico-funcional con tipos paramétricos y géneros ordenados 1999
Universidad Complutense de Madrid
Jesús Manuel Almendros Jiménez
Tribunais de teses (1)
-
Secretaria do tribunal
Programación funcional y lógica con restricciones 1994Universidad Complutense de Madrid