On clubs and data-type constructors. In Applications of categories in computer science (1991)

by G MAX KELLY
Venue:of London Math. Soc. Lecture Note Ser