The foldl operator as a coequalizer using Coq

  1. Blanco, A.
  2. Freire, E.
  3. Freire, J.L.
  4. Paris, J.
Book Series:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642047718

Year of publication: 2009

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

Volume: 5717 LNCS

Pages: 167-176

Type: Conference paper

DOI: 10.1007/978-3-642-04772-5_23 GOOGLE SCHOLAR
Data source: Scopus