Categorical aspects of data type constructors (1987)

by John W Gray
Venue:Theoretical Computer Science