On clubs and data-type constructors (1992)

by G M Kelly
Venue:In: Applications of Categories in Computer Science, LMS lecture notes 177, CUP