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 ISBN 3-540-43613-8- Roy L. Crole: Introduction. 1-20
- Hilary A. Priestley: Ordered Sets and Complete Lattices. 21-78
- Peter Aczel: Algebras and Coalgebras. 79-88
- Roland Carl Backhouse: Galois Connections and Fixed Point Calculus. 89-148
- Jeremy Gibbons: Calculating Functional Programs. 149-202
- Bart Jacobs: Exercises in Coalgebraic Specification. 237-280
- Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu: Algebraic Methods for Optimization Problems. 281-308
- Burghard von Karger: Temporal Algebra. 309-385
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team