A note on categorical data types (1989)

by G C Wraith
Venue:Proc. Category Theory and Computer Science