International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 1-19
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 21-78
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 79-88
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 89-150
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 151-203
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 204-236
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 237-281
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 282-309
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 310-386