Fachbereich: Sistemas Informáticos y Computación

Fakultät: Informática

Bereich: Computersprachen und Computersysteme

Forschungsgruppe: Complutense Group on Program Analyis and Transformation

Email: emartinm@ucm.es

Doktor von der Universidad Complutense de Madrid mit der Dissertation Sistemas de tipos en lenguajes lógico-funcionales 2012. unter der Leitung von Dr. Francisco Javier López Fraguas, Dr. Juan Rodríguez Hortalá.