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.

Belonged to...