ALBERTO DE LA
ENCINA VARA
Profesor contratado doctor
Thèse de doctorat
-
Formalizando el proceso de depuración en programación funcional paralela y perezosa 2008
Universidad Complutense de Madrid
Jurys de thèses (1)
-
Un secrétaire du jury
Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos 2015Universidad Complutense de Madrid
Sánchez Gil, Lidia