Javier
París Fernández
Profesor contratado interino de sustitución
José Luis
Freire Nistal
Publicaciones en las que colabora con José Luis Freire Nistal (1)
2009
-
The foldl operator as a coequalizer using Coq
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)