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
@proceedings{acmmpc:2000,
title = {Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures},
year = {2002},
tags = { algebra},
researchr = {https://researchr.org/publication/acmmpc%3A2000},
cites = {0},
citedby = {0},
booktitle = {Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures},
conference = {acmmpc},
editor = {Roland Carl Backhouse and Roy L. Crole and Jeremy Gibbons},
volume = {2297},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43613-8},
}