Categorical aspects of data type constructors (1987)

by J W Gray
Venue:Theoretical Computer Science