Enrique Martín Martín

MathSciNet


Ph.D. Universidad Complutense de Madrid 2012 Spain
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.