Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures. Volume 2297 of Lecture Notes in Computer Science, Springer, 2002.

Conference: acmmpc2002

No reviews for this publication, yet.