TY - THES AU - Encina Vara, Alberto De La A3 - Llana Díaz, Luis Fernando A3 - Rubio Díez, Fernando PY - 2009 SN - 978-84-692-1748-1 UR - https://hdl.handle.net/20.500.14352/48644 LA - spa PB - Universidad Complutense de Madrid, Servicio de Publicaciones KW - Programación funcional TI - Formalizando el proceso de depuración en programación funcional paralela y perezosa M3 - doctoral thesis ER -