A categorical approach to the theory of lists (1989)

by M Spivey
Venue:Mathematics of Program Construction