|
B. Jacobs, Exercises in Coalgebraic Specification In: R. Backhouse, R. Crole and J. Gibbons (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Exercises in Coalgebraic Specification, (Springer LNCS 2297, 2002), p.237-280. [ps version]
Since we are discussing coalgebras and reading Bart Jacobs...
This text is meant to be used as teaching material, so it is perhaps more accessible.
Posted to theory by Ehud Lamm on 11/12/03; 3:37:39 AM
|
|
Exercises in Coalgebraic Specification
