Lecture notes on algebraic and coalgebraic methods for calculating functional programs (2000)

by J Gibbons
Venue:In Summer School on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction