Llana Díaz, Luis FernandoRubio Díez, FernandoEncina Vara, Alberto De La2023-06-202023-06-202009-04-16978-84-692-1748-1https://hdl.handle.net/20.500.14352/48644Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Computación, leída el 19-06-2008spaFormalizando el proceso de depuración en programación funcional paralela y perezosadoctoral thesisopen access004.42.046(043.2)Programación funcionalAnálisis funcional y teoría de operadores