Category theoretic approach to data types (1987)

by T Hagino