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

Editors

Roland Carl Backhouse

This author has not been identified. Look up 'Roland Carl Backhouse' in Google

Roy L. Crole

This author has not been identified. Look up 'Roy L. Crole' in Google

Jeremy Gibbons

Identified as Jeremy Gibbons