Publications by the researcher in collaboration with José Luis Freire Nistal (1)

2009

  1. 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)