Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
de Roland C. Backhouse, Roy Crole, Jeremy Gibbons
Ediciones (1)
- Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2003)
Springer London, Limited · inglés · ISBN 9783540477976
