Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Edición de la obra Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
| Autor | Roland C. Backhouse, Roy Crole, Jeremy Gibbons |
|---|---|
| Editorial | Springer London, Limited |