A note on categorical datatypes (1989)

by G C Wraith
Venue:Category Tli~ory and Computer Sczence