Enrique Martín Martín
Ph.D. Universidad Complutense de Madrid 2012
Dissertation:
Sistemas de tipos en lenguajes lógico-funcionales
Advisor 1: Francisco Javier López Fraguas
Advisor 2: Juan Rodríguez Hortalá
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 190114 for the advisor ID.