Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000:
Oxford,
UK
Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons (Eds.):
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures.
Lecture Notes in Computer Science 2297 Springer 2002, ISBN 3-540-43613-8 BibTeX
@proceedings{DBLP:conf/acmmpc/2000,
editor = {Roland Carl Backhouse and
Roy L. Crole and
Jeremy Gibbons},
title = {Algebraic and Coalgebraic Methods in the Mathematics of Program
Construction, International Summer School and Workshop, Oxford,
UK, April 10-14, 2000, Revised Lectures},
booktitle = {Algebraic and Coalgebraic Methods in the Mathematics of Program
Construction},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2297},
year = {2002},
isbn = {3-540-43613-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © Sat May 16 22:56:00 2009
by Michael Ley (ley@uni-trier.de)
