Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Keyphrases

Publications

volume 2297, 2002

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2297 (2002)

2000

Roland Carl Backhouse
Galois Connections and Fixed Point Calculus. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Hilary A. Priestley
Ordered Sets and Complete Lattices. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Bart Jacobs
Exercises in Coalgebraic Specification. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Jeremy Gibbons
Calculating Functional Programs. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
Algebraic Methods for Optimization Problems. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Burghard von Karger
Temporal Algebra. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Roy L. Crole
Introduction. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Peter Aczel
Algebras and Coalgebras. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Henk Doornbos, Roland Carl Backhouse
Algebra of Program Termination. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)