The foldl operator as a coequalizer using Coq

  1. Blanco, A.
  2. Freire, E.
  3. Freire, J.L.
  4. Paris, J.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642047718

Año de publicación: 2009

Computer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers

Volumen: 5717 LNCS

Páginas: 167-176

Tipo: Aportación congreso

DOI: 10.1007/978-3-642-04772-5_23 GOOGLE SCHOLAR
Fuente de los datos: Scopus