The foldl operator as a coequalizer using Coq
- Blanco, A.
- Freire, E.
- Freire, J.L.
- Paris, J.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642047718
Ano de publicación: 2009
Computer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers
Volume: 5717 LNCS
Páxinas: 167-176
Tipo: Achega congreso