Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
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. Springer 2002 Lecture Notes in Computer Science 2297 ISBN 3-540-43613-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team