A note on categorical datatypes (1989)

by G C Wraith
Venue:Category Theory and Computer Science