Category Theory for Program Construction by Calculation. Lecture Notes for ESSLLI'95 (1995)

by Lambert Meertens