Javier
París Fernández
Profesor contratado interino de substitución
José Luis
Freire Nistal
Publications by the researcher in collaboration with 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)